#2064 (Nov 28, 2023, 12:50:10 AM)

1. generalized (detail / hgweb)
2. restructured (detail / hgweb)
3. grouped lemmas for symbolic computations (detail / hgweb)
4. sorted out lemma duplicates (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 2 hr 5 min build duration;
• 2 hr 5 min total from scheduled to completion.