OAI/Geometry/IsometricImmersion/Flows/FlowTimeVariation.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SmoothLocal.Flow.timeFlowDerivative line 12
  2. def OAI.SmoothLocal.Flow.timeSecondFlowDerivative line 14
  3. def OAI.SmoothLocal.Flow.mixedFlowDerivative line 17
  4. theorem OAI.SmoothLocal.Flow.cap_flow_time_hasDerivAt line 31
  5. theorem OAI.SmoothLocal.Flow.timeFlowDerivative_eq line 42
  6. theorem OAI.SmoothLocal.Flow.flowPullback_hasDerivAt_t line 47
  7. theorem OAI.SmoothLocal.Flow.cap_flow_mixed_hasDerivAt line 64
  8. theorem OAI.SmoothLocal.Flow.mixedFlowDerivative_eq line 76
  9. theorem OAI.SmoothLocal.Flow.cap_flow_time_second_hasDerivAt line 82
  10. theorem OAI.SmoothLocal.Flow.timeSecondFlowDerivative_eq line 95
  11. theorem OAI.SmoothLocal.Flow.cap_flow_mixed_initial_hasDerivAt line 102
  12. theorem OAI.SmoothLocal.Flow.cap_flow_time_second_initial_hasDerivAt line 120
  13. theorem OAI.SmoothLocal.Flow.cap_flow_time_third_hasDerivAt line 138