OAI/Geometry/IsometricImmersion/Flows/FlowLowBounds.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SmoothLocal.Flow.abs_transport_bound line 12
2. theorem OAI.SmoothLocal.Flow.abs_second_initial_coefficient_bound line 21
3. theorem OAI.SmoothLocal.Flow.abs_third_time_coefficient_bound line 34
4. theorem OAI.SmoothLocal.Flow.cap_flow_time_bound line 68
5. theorem OAI.SmoothLocal.Flow.cap_flow_time_second_bound line 75
6. theorem OAI.SmoothLocal.Flow.cap_flow_mixed_bound line 91
7. theorem OAI.SmoothLocal.Flow.cap_flow_mixed_initial_bound line 102
8. theorem OAI.SmoothLocal.Flow.cap_flow_time_second_initial_bound line 133
9. theorem OAI.SmoothLocal.Flow.cap_flow_time_third_bound line 148