added lemma reflp_on_conversp[simp]
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE11077c158b37: added lemma transp_reflclp[simp]
- Branches
- Unknown
- Tags
added lemma reflp_on_conversp[simp] Tags None Subscribers None |