Deep_Learning restructuring + fixes
Created originally on Bitbucket by abentkamp (Alexander Bentkamp)
Was already merged in Bitbucket before import, marked as merged by the import user
Source changeset not longer availableat the time of import. Commit listwill look empty
-
Remove unnessecary argument from witness_submatrix
-
removed unnessecary subvec def and lemmas
-
Deep_Learning: simplify fundamental theorem
-
Rewrite fundamental theorem proof
-
fundamental theorem of network capacity simplifications