#1623 (Jan 8, 2022, 12:50:09 AM)

1. merged (detail / hgweb)
2. added lemmas wf_imp_asym, wfP_imp_asymp, and wfP_imp_irreflp (detail / hgweb)
3. removed $ite from E 2.6 in THF format (detail / hgweb)

Started by an SCM change

This run spent:

• 8 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.