added lemma reflp_on_empty[simp] and totalp_on_empty[simp]
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEf0dfcd8329d0: added lemmas reflp_on_Inf and reflp_on_Sup
- Branches
- Unknown
- Tags
added lemma reflp_on_empty[simp] and totalp_on_empty[simp] Tags None Subscribers None |