#1632 (Jan 25, 2022, 1:42:10 AM)

1. updated to polyml-test-15c840d48c9a; (detail / hgweb)
2. some updates and clarification on Assumption.export_term; (detail / hgweb)
3. new theorem has_integral_UN (detail / hgweb)

Started by an SCM change

This run spent:

• 52 min waiting;
• 1 hr 37 min build duration;
• 2 hr 29 min total from scheduled to completion.