OAI/MathematicalPhysics/NavierStokes/VelocityDetection/CutoffObservation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.CutoffObservation.integrable_capture line 13
2. theorem OAI.VelocityDetection.CutoffObservation.capture_le_setIntegral line 19
3. theorem OAI.VelocityDetection.CutoffObservation.setIntegral_le_total_sub_capture line 32
4. theorem OAI.VelocityDetection.CutoffObservation.capture_monotone_at_change line 46
5. theorem OAI.VelocityDetection.CutoffObservation.positive_margin line 59
6. theorem OAI.VelocityDetection.CutoffObservation.negative_margin line 69