OAI/MathematicalPhysics/NavierStokes/VelocityDetection/MovingCutoff.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.MovingCutoff.hasDerivAt_capture line 13
2. def OAI.VelocityDetection.MovingCutoff.capture line 84
3. theorem OAI.VelocityDetection.MovingCutoff.differentiable_capture line 87
4. theorem OAI.VelocityDetection.MovingCutoff.cutoff_transport_eq_zero line 96
5. theorem OAI.VelocityDetection.MovingCutoff.hasDerivAt_capture_of_plateau line 109
6. theorem OAI.VelocityDetection.MovingCutoff.capture_source_eq line 127
7. theorem OAI.VelocityDetection.MovingCutoff.capture_deriv_lower line 140
8. theorem OAI.VelocityDetection.MovingCutoff.retention_on_interval line 157