#1837 (Dec 16, 2022, 12:50:09 AM)

1. added lemmas antisym_on_subset and antisymp_on_subset (detail / hgweb)
2. strengthened antisymp_le and antisymp_ge (detail / hgweb)
3. added lemmas antisym_onD and antisymp_onD (detail / hgweb)
4. added lemmas antisym_onI and antisymp_onI (detail / hgweb)
5. added lemma antisymp_reflcp (detail / hgweb)
6. added antisymp_on_antisym_on_eq[pred_set_conv] (detail / hgweb)
7. added predicates antisym_on and antisymp_on and redefined antisym and antisymp to be abbreviations (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 51 min build duration;
• 1 hr 51 min total from scheduled to completion.