#1007 (Jul 11, 2017, 12:31:06 PM)

1. merged (detail / hgweb)
2. card_0_eq ~> fcard_0_eq (detail / hgweb)
3. material from $AFP/Formula_Derivatives/FSet_More (detail / hgweb)
4. FSet is monadic (detail / hgweb)
5. finite sets are countable (detail / hgweb)
6. lift sum to finite sets (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 2 hr 39 min build duration;
• 2 hr 44 min total from scheduled to completion.