#1740 (Jul 29, 2022, 1:08:37 AM)

1. More lemmas. (detail / hgweb)
2. Some more proofs. (detail / hgweb)
3. a few new theorems (detail / hgweb)

Started by an SCM change

This run spent:

• 18 min waiting;
• 1 hr 47 min build duration;
• 2 hr 6 min total from scheduled to completion.