added lemmas reflp_on_Inf and reflp_on_Sup
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE4e3e55aedd7f: replaced HOL.implies by Pure.imp in reflp_mono for consistency with other lemmas
- Branches
- Unknown
- Tags
added lemmas reflp_on_Inf and reflp_on_Sup Tags None Subscribers None |