#451 (Oct 21, 2017, 1:28:19 AM)

1. more ambitious test; (detail / hgweb)
2. added lemmas and tuned proofs (detail / hgweb)
3. merged (detail / hgweb)
4. Switching to inverse image and constant_on, plus some new material (detail / hgweb)

Started by an SCM change

This run spent:

• 38 min waiting;
• 1 hr 18 min build duration;
• 1 hr 56 min total from scheduled to completion.