#1539 (Apr 26, 2018, 3:29:09 PM)

1. merged (detail / hgweb)
2. Some matrix material moved to Analysis (detail / hgweb)
3. merged (detail / hgweb)
4. merged (detail / hgweb)
5. moved some material to Analysis; simplified many proofs using s/h (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 11 min build duration;
• 1 hr 12 min total from scheduled to completion.