#1624 (Jan 11, 2022, 1:05:22 AM)

1. merged (detail / hgweb)
2. proper abstraction of function variables when instantiating induction rules in Sledgehammer (detail / hgweb)
3. added lemma asympD (detail / hgweb)
4. added lemma (detail / hgweb)
5. Some lemmas about continuous functions with integral zero (detail / hgweb)

Started by an SCM change

This run spent:

• 15 min waiting;
• 1 hr 39 min build duration;
• 1 hr 54 min total from scheduled to completion.