#2156 (Mar 18, 2024, 4:06:08 AM)

1. added alias wfp for wfP (detail / hgweb)
2. merged (detail / hgweb)
3. added lemmas wf_on_antimono, wf_on_antimono_strong, wfp_on_antimono, wfp_on_antimono_strong, wf_on_subset, and wfp_on_subset (detail / hgweb)
4. start scheduled jobs earlier, if possible; (detail / hgweb)
5. tuned proofs (detail / hgweb)
6. added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf, wf_on_iff_ex_minimal, and wfp_on_iff_ex_minimal (detail / hgweb)
7. merged (detail / hgweb)
8. added definitions wf_on and wfp_on as restricted versions of wf and wfP respectively (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 16 min waiting;
• 2 hr 3 min build duration;
• 5 hr 19 min total from scheduled to completion.