#1480 (Feb 23, 2018, 1:37:06 PM)

1. fixed the proof of pair_measure_count_space (detail / hgweb)
2. merged (detail / hgweb)
3. fixing ennreal using add_mono1; shifting results from linordered_semidom to linordered_nonzero_semiring (detail / hgweb)
4. merged (detail / hgweb)
5. type class linordered_nonzero_semiring has new axiom to guarantee characteristic 0 (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 46 min build duration;
• 1 hr 51 min total from scheduled to completion.