renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_(ge|le)
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE137cec33346f: clarified signature;
- Branches
- Unknown
- Tags
renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_… Tags None Subscribers None |