replaced HOL.implies by Pure.imp in reflp_mono for consistency with other lemmas
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE6bd264ff410f: added lemmas reflp_on_inf, reflp_on_sup, and reflp_on_mono
- Branches
- Unknown
- Tags