#827 (Dec 28, 2018, 1:35:53 AM)

1. most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies (detail / hgweb)
2. merged (detail / hgweb)
3. tuned headers (detail / hgweb)
4. moved lemmas up (detail / hgweb)
5. prove lemmas in context real_normed_vector (detail / hgweb)
6. moved dependency (detail / hgweb)
7. generalized to big sum (detail / hgweb)
8. merged (detail / hgweb)
9. tuned headers; ~ -> \<not> (detail / hgweb)
10. update LTS Haskell version (detail / hgweb)

Started by an SCM change

This run spent:

• 45 min waiting;
• 1 hr 18 min build duration;
• 2 hr 4 min total from scheduled to completion.