OAI/Geometry/IsometricImmersion/Volterra/VolterraJointSmooth.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SmoothLocal.ODE.contDiffOn_succ_of_continuous_partials line 12
2. theorem OAI.SmoothLocal.ODE.volterra_family_joint_smooth line 29
3. def OAI.SmoothLocal.ODE.prescribedVelocityFamily line 102
4. theorem OAI.SmoothLocal.ODE.prescribedVolterraFamily_joint_contDiffOn line 106