merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE0fbfb4293ff7: added lemma reflp_on_conversp[simp]
rISABELLE9686049ce988: more robust selection: avoid duplicates via "batch" number; - Branches
- Unknown
- Tags
Merged Changes
Merged Changes