#386 (Aug 6, 2017, 12:50:09 AM)

1. final tidying up of lemma bounded_variation_absolutely_integrable_interval (detail / hgweb)
2. finally rid of finite_product_dependent (detail / hgweb)
3. more cleanup (detail / hgweb)
4. trying to disentangle bounded_variation_absolutely_integrable_interval (detail / hgweb)

Started by an SCM change

This run spent:

• 8.3 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.