Changes

Summary

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