#795 (Apr 4, 2017, 7:35:11 PM)

1. Merge Deep_Learning changes (detail / hgweb)
2. fundamental theorem of network capacity simplifications (detail / hgweb)
3. Rewrite fundamental theorem proof (detail / hgweb)
4. Deep_Learning: simplify fundamental theorem (detail / hgweb)
5. removed unnessecary subvec def and lemmas (detail / hgweb)
6. Remove unnessecary argument from witness_submatrix (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 3 hr 25 min build duration;
• 3 hr 25 min total from scheduled to completion.