OAI/Geometry/IsometricImmersion/Taylor/TaylorJetStability.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SmoothLocal.Taylor.secondCoordPartial_add line 12
2. def OAI.SmoothLocal.Taylor.correctionState line 28
3. theorem OAI.SmoothLocal.Taylor.correctionState_slice_contDiff line 35
4. theorem OAI.SmoothLocal.Taylor.correctionState_time_jets_zero line 51
5. theorem OAI.SmoothLocal.Taylor.qSolutionJet_add_taylorCorrection line 68
6. theorem OAI.SmoothLocal.Taylor.qSolutionJet_time_slice_contDiffAt line 99
7. theorem OAI.SmoothLocal.Taylor.qSolutionJet_taylorCorrection_time_jets line 106
8. theorem OAI.SmoothLocal.Taylor.sixVariableQ_taylorCorrection_time_jets line 124