#1473 (Apr 4, 2018, 3:35:12 PM)

1. extracted square-free factorization wrapper to make it accessible more genericly (e.g., for LLL_factorization) (detail / hgweb)
2. moved code lemmas (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 15 min build duration;
• 16 min total from scheduled to completion.