#632 (Dec 1, 2016, 11:32:11 AM)

1. merge (detail / hgweb)
2. generalized hensel-lifting lemma, improved code equations for hensel lifting (detail / hgweb)
3. extracted main lemma for quadratic hensel lifting from induction proof (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 11 min build duration;
• 11 min total from scheduled to completion.