OAI/Geometry/IsometricImmersion/Caps/CapFlowJetBounds.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmoothLocal.Flow.flowCoordinateBound line 12
2. theorem OAI.SmoothLocal.Flow.flowCoordinateBound_dominates line 17
3. theorem OAI.SmoothLocal.Flow.flowCoordinateBound_nonneg line 36
4. theorem OAI.SmoothLocal.Flow.coordinateProjection_partial line 39
5. theorem OAI.SmoothLocal.Flow.coordinateProjection_bound line 46
6. theorem OAI.SmoothLocal.Flow.capFlowHeight_word_one_bound line 97
7. theorem OAI.SmoothLocal.Flow.capFlowHeight_word_two_bound line 117
8. theorem OAI.SmoothLocal.Flow.capFlowHeight_word_three_bound line 144
9. theorem OAI.SmoothLocal.Flow.capFlowHeight_coordinate_bound line 179
10. theorem OAI.SmoothLocal.Flow.capChart_coefficient_coordinate_bound line 198