#676 (Jan 5, 2017, 7:13:59 PM)

1. tuned structure (detail / hgweb)
2. lead_coeff is more appropriate as abbreviation (detail / hgweb)
3. more lemmas;
   tuned headings (detail / hgweb)
4. covering space lift lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 5 min build duration;
• 1 hr 10 min total from scheduled to completion.