HomeIsabelle/Phabricator

added lemma multp_repeat_mset_repeat_msetI

Description

added lemma multp_repeat_mset_repeat_msetI

Details

Provenance
desharnaAuthored on
Parents
rISABELLE7969fa41439b: merged
Branches
Unknown
Tags
Unknown