redefined less_multiset to be based on multp
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE691131ce4641: added lemmas multp_code_eq_multp and multeqp_code_eq_reflclp_multp
- Branches
- Unknown
- Tags
redefined less_multiset to be based on multp Tags None Subscribers None
Description
Details
|