#1376 (Feb 1, 2018, 1:02:13 PM)

1. merged (detail / hgweb)
2. remove duplicate assumption and simplify proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 8.9 sec waiting;
• 4 min 45 sec build duration;
• 4 min 54 sec total from scheduled to completion.