OAI/MathematicalPhysics/NavierStokes/VelocityDetection/TailSpaceNormValueLe.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.TailSpace.Jets.norm_value_le line 17
2. theorem OAI.VelocityDetection.TailSpace.Jets.hasDerivAt_of_values line 22
3. def OAI.VelocityDetection.TailSpace.Jets.directional line 43
4. theorem OAI.VelocityDetection.TailSpace.Jets.value_directional line 46
5. theorem OAI.VelocityDetection.TailSpace.Jets.norm_directional_le line 53
6. theorem OAI.VelocityDetection.TailSpace.Jets.continuous_directional line 64
7. theorem OAI.VelocityDetection.TailSpace.Jets.hasDerivAt_translate line 70
8. theorem OAI.VelocityDetection.TailSpace.Jets.partialD_scaled_value line 83