added lemmas irrefl_on_subset and irreflp_on_subset
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE4352d0ff165a: introduced predicates irrefl_on and irreflp_on, and redefined irrefl and…
- Branches
- Unknown
- Tags