added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEcbf38b7cb195: added lemma totalp_on_converse[simp]
- Branches
- Unknown
- Tags
added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp Tags None Subscribers None |