OAI/MathematicalPhysics/NavierStokes/VelocityDetection/PathBounds.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.CenterPaths.iteratedDeriv_theta line 15
2. theorem OAI.VelocityDetection.CenterPaths.center_horizontal_affine line 29
3. theorem OAI.VelocityDetection.CenterPaths.center_vertical_affine line 34
4. theorem OAI.VelocityDetection.CenterPaths.iteratedDeriv_center_horizontal line 40
5. theorem OAI.VelocityDetection.CenterPaths.iteratedDeriv_center_vertical line 48
6. theorem OAI.VelocityDetection.CenterPaths.theta_derivative_bound line 64
7. theorem OAI.VelocityDetection.CenterPaths.center_derivative_bound line 75