OAI/MathematicalPhysics/NavierStokes/VelocityDetection/ParabolicComparison.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.ParabolicComparison.second_deriv_nonneg line 14
2. theorem OAI.VelocityDetection.ParabolicComparison.deriv_nonpos_at_past_min line 26
3. def OAI.VelocityDetection.ParabolicComparison.UniformTails line 35
4. theorem OAI.VelocityDetection.ParabolicComparison.compact_C0_uniform_tails line 51
5. theorem OAI.VelocityDetection.ParabolicComparison.uniformTails_of_continuous_C0 line 76
6. theorem OAI.VelocityDetection.ParabolicComparison.spatialD_twice_eq_deriv line 84
7. theorem OAI.VelocityDetection.ParabolicComparison.spatial_minimum line 90
8. theorem OAI.VelocityDetection.ParabolicComparison.nonnegative_of_uniformTails line 104
9. theorem OAI.VelocityDetection.ParabolicComparison.nonnegative_of_continuous_C0 line 173