#1251 (Aug 10, 2020, 12:50:08 AM)

1. one last lemma about Total and Restr (detail / hgweb)
2. adjustments for fewer WO assumptions (detail / hgweb)
3. elimination of some needless assumptions (detail / hgweb)
4. merged (detail / hgweb)
5. iso lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 7.6 sec waiting;
• 1 hr 25 min build duration;
• 1 hr 25 min total from scheduled to completion.