OAI/Geometry/IsometricImmersion/Caps/UpperCapWords.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmoothLocal.Flow.Reflection.coordinateWordSign line 13
2. theorem OAI.SmoothLocal.Flow.Reflection.coordinateWordSign_abs line 17
3. theorem OAI.SmoothLocal.Flow.Reflection.orderedPartial_reflectedScalar line 24
4. theorem OAI.SmoothLocal.Flow.Reflection.orderedPartial_reflectedScalar_abs line 49
5. structure OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle line 56
6. def OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.region line 72
7. def OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.image line 75
8. def OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.lower line 78
9. theorem OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.region_subset_domain line 91
10. theorem OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.reflected_region line 95
11. theorem OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.conjugate_image line 101
12. theorem OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.image_properties line 114
13. theorem OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.coordinateBound_of_reflected line 126
14. theorem OAI.SmoothLocal.Flow.Reflection.UpperCapRectangle.coordinateL2Bound_of_pointwise line 141