added lemma totalp_on_total_on_eq[pred_set_conv]
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE02719bd7b4e6: added lemma reflp_on_empty[simp] and totalp_on_empty[simp]
- Branches
- Unknown
- Tags
added lemma totalp_on_total_on_eq[pred_set_conv] Tags None Subscribers None |