#526 (Nov 8, 2016, 8:23:12 PM)

1. merged (detail / hgweb)
2. add another cardinality proof in Card_Number_Partitions to prepare for Twelvefold_Way submission (detail / hgweb)
3. add more cardinality proofs in Card_Partitions to prepare for Twelvefold_Way submission (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 3 min 30 sec build duration;
• 3 min 39 sec total from scheduled to completion.