OAI/Geometry/IsometricImmersion/Darboux/QSpatialJets.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmoothLocal.HighEquation.qSolutionJetCurve line 13
2. theorem OAI.SmoothLocal.HighEquation.qSolutionJet_contDiffOn line 16
3. theorem OAI.SmoothLocal.HighEquation.qSolutionJetCurve_contDiffAt line 29
4. theorem OAI.SmoothLocal.HighEquation.sixVariableQ_contDiffAt_solutionJet line 35
5. theorem OAI.SmoothLocal.HighEquation.qSolutionJetCurve_iteratedDeriv_positive line 43
6. theorem OAI.SmoothLocal.HighEquation.qSolutionJetCurve_iteratedDeriv line 79