added wfP_less to wellorder and wfP_less_multiset
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE4220dcd6c22e: restored lemmas less_multiset{DM,HO} inadvertently changed by c256bba593f3
- Branches
- Unknown
- Tags
added wfP_less to wellorder and wfP_less_multiset Tags None Subscribers None |