OAI/Geometry/IsometricImmersion/Calculus/ShearHeightJets.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SmoothLocal.Pulse.inverseShearCLM line 13
2. theorem OAI.SmoothLocal.Pulse.inverseShearCLM_apply line 31
3. theorem OAI.SmoothLocal.Pulse.inverseShearCLM_norm_le line 34
4. theorem OAI.SmoothLocal.Pulse.local_linear_full_jet_norm_bound line 50
5. theorem OAI.SmoothLocal.Pulse.sheared_full_jet_bound_of_coordinateBound line 64
6. theorem OAI.SmoothLocal.Pulse.CoordinateBound.inverse_shear line 82