![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- removed redundant theorem (and theory file) + fixed a few paths + tuning
| The file was modified | thys/Deep_Learning/DL_Deep_Model_Poly.thy (diff) |
| The file was modified | thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy (diff) |
| The file was modified | thys/Deep_Learning/DL_Shallow_Model.thy (diff) |
| The file was modified | thys/Deep_Learning/Lebesgue_Functional.thy (diff) |
| The file was removed | thys/Deep_Learning/DL_Missing_Complete_Measure.thy |