#1392 (Feb 7, 2018, 7:26:13 PM)

1. merge (detail / hgweb)
2. moved several lemmas (consolidate Missing_... with main theories) (detail / hgweb)
3. merge (detail / hgweb)
4. reuse generalized theorems in Factor_Bound_2 in Mahler_Measure and Factor_Bound (detail / hgweb)

Started by an SCM change

This run spent:

• 9.1 sec waiting;
• 53 min build duration;
• 54 min total from scheduled to completion.