added lemmas reflp_on_inf, reflp_on_sup, and reflp_on_mono
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEa7c6722fbaf1: NEWS
- Branches
- Unknown
- Tags
added lemmas reflp_on_inf, reflp_on_sup, and reflp_on_mono Tags None Subscribers None |