strengthened and renamed lemma reflp_on_equality
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE15f868460de9: renamed lemmas linorder.totalp_on_(ge|greater|le|less) and preorder.reflp_…
- Branches
- Unknown
- Tags
strengthened and renamed lemma reflp_on_equality Tags None Subscribers None |