#742 (Sep 21, 2018, 12:50:10 AM)

1. merged (detail / hgweb)
2. clarified standardization of variables, with proper treatment of local variables;
   tuned signature;
   tuned; (detail / hgweb)
3. removal of more redundancies, and fixes (detail / hgweb)
4. merged (detail / hgweb)
5. elimination of near duplication involving Rolle's theorem and the MVT (detail / hgweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.