added lemmas irreflp_{less,greater} to preorder and {trans,irrefl}_mult{,p} to Multiset
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEc256bba593f3: redefined less_multiset to be based on multp
- Branches
- Unknown
- Tags