#1863 (Jan 15, 2023, 2:56:22 AM)

1. Missing theorem restored (detail / hgweb)
2. Tidying up BNF (detail / hgweb)
3. More cleaning up proofs, plus a TeX fix (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 6 min waiting;
• 1 hr 51 min build duration;
• 3 hr 58 min total from scheduled to completion.