#1791 (Oct 13, 2022, 12:50:07 AM)

1. added lemma wfP_pfsubset (detail / hgweb)
2. added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat (detail / hgweb)
3. update components.sha1; (detail / hgweb)
4. proper description; (detail / hgweb)
5. one more lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 1 hr 50 min build duration;
• 1 hr 50 min total from scheduled to completion.