OAI/MathematicalPhysics/NavierStokes/VelocityDetection/BurstTotalForce.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VelocityDetection.BurstTotal.force line 13
2. theorem OAI.VelocityDetection.BurstTotal.contDiff_force line 16
3. theorem OAI.VelocityDetection.BurstTotal.force_periodic line 20
4. theorem OAI.VelocityDetection.BurstTotal.force_finite_derivative_bounds line 29
5. theorem OAI.VelocityDetection.BurstTotal.field_support line 34
6. theorem OAI.VelocityDetection.BurstTotal.source_support line 43
7. theorem OAI.VelocityDetection.BurstTotal.force_support line 51
8. theorem OAI.VelocityDetection.BurstTotal.force_eq_triangular line 62
9. theorem OAI.VelocityDetection.BurstTotal.contDiff_velocity line 68
10. theorem OAI.VelocityDetection.BurstTotal.velocity_periodic line 77
11. theorem OAI.VelocityDetection.BurstTotal.navierStokes line 81