added definitions multp{DM,HO} and corresponding lemmas
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE2741ef11ccf6: added wfP_less to wellorder and wfP_less_multiset
- Branches
- Unknown
- Tags
added definitions multp{DM,HO} and corresponding lemmas Tags None Subscribers None |