Build #133 (Nov 19, 2018 1:42:12 PM)

1. Retired lemma card_Union_image; use the simpler card_UN_disjoint instead. (detail / hgweb)
2. removed legacy input syntax (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.

• Card_Number_Partitions
• Twelvefold_Way
• Factored_Transition_System_Bounding
• Falling_Factorial_Sum
• Bell_Numbers_Spivey
• Card_Partitions