#1789 (Oct 11, 2022, 3:15:17 AM)

1. removed unused universal variable from lemma reflp_onI (detail / hgweb)
2. added lemmas irreflD and irreflpD (detail / hgweb)
3. added lemmas antisym_if_asym and antisymp_if_asymp (detail / hgweb)
4. strengthened lemma total_on_singleton and added lemma totalp_on_singleton (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 25 min waiting;
• 1 hr 51 min build duration;
• 4 hr 16 min total from scheduled to completion.