OAI/Geometry/IsometricImmersion/Calculus/VerticalSliceJets.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmoothLocal.HighEquation.verticalJet line 15
2. theorem OAI.SmoothLocal.HighEquation.verticalJet_contDiffOn line 20
3. theorem OAI.SmoothLocal.HighEquation.verticalPoint_hasDerivAt line 29
4. theorem OAI.SmoothLocal.HighEquation.verticalJet_slice_hasDerivAt line 37
5. theorem OAI.SmoothLocal.HighEquation.verticalJet_slice line 47
6. theorem OAI.SmoothLocal.HighEquation.verticalJet_coordPartial line 65
7. theorem OAI.SmoothLocal.HighEquation.verticalJet_two_coordPartials line 86
8. theorem OAI.SmoothLocal.HighEquation.iteratedDeriv_state_eval line 98
9. theorem OAI.SmoothLocal.HighEquation.solutionJetCurve_iteratedDeriv line 107
10. theorem OAI.SmoothLocal.HighEquation.actualDarboux_faaExpansion_coord line 141