desharna [Fri, 16 Dec 2022 10:28:37 +0100] rev 76647
added lemmas sym_onD and symp_onD
desharna [Fri, 16 Dec 2022 10:23:51 +0100] rev 76646
added lemmas sym_onI and symp_onI
desharna [Fri, 16 Dec 2022 10:18:35 +0100] rev 76645
added lemma symp_on_sym_on_eq[pred_set_conv]
desharna [Fri, 16 Dec 2022 10:13:52 +0100] rev 76644
added predicates sym_on and symp_on and redefined sym and symp to be abbreviations
desharna [Fri, 16 Dec 2022 09:55:22 +0100] rev 76643
added lemmas IMGU_subst_domain_subset and IMGU_range_vars_subset
desharna [Thu, 15 Dec 2022 13:18:25 +0100] rev 76642
added lemmas antisym_on_subset and antisymp_on_subset
desharna [Thu, 15 Dec 2022 12:32:01 +0100] rev 76641
strengthened antisymp_le and antisymp_ge
desharna [Thu, 15 Dec 2022 10:55:01 +0100] rev 76640
added lemmas antisym_onD and antisymp_onD
desharna [Thu, 15 Dec 2022 10:51:46 +0100] rev 76639
added lemmas antisym_onI and antisymp_onI
desharna [Thu, 15 Dec 2022 09:44:50 +0100] rev 76638
added lemma antisymp_reflcp