OAI/Geometry/WeakMTW/Coordinates/EndpointAction.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.WeakMTWGlobalSupport.NormalNeighborhood.NormalFlow.endpointAction line 18
2. theorem OAI.WeakMTWGlobalSupport.NormalNeighborhood.NormalFlow.inverse_fst line 21
3. theorem OAI.WeakMTWGlobalSupport.NormalNeighborhood.NormalFlow.action_smooth line 27
4. theorem OAI.WeakMTWGlobalSupport.NormalNeighborhood.NormalFlow.endpointAction_smooth line 36
5. theorem OAI.WeakMTWGlobalSupport.NormalNeighborhood.NormalFlow.endpointAction_derivative line 40