OAI/MathematicalPhysics/NavierStokes/VelocityDetection/PeriodicCalculus.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.PeriodicCalculus.periodic_jet line 12
2. theorem OAI.VelocityDetection.PeriodicCalculus.periodic_dAlong line 29
3. theorem OAI.VelocityDetection.PeriodicCalculus.periodic_residual line 46
4. theorem OAI.VelocityDetection.PeriodicCalculus.finite_cylinder_bounds line 63
5. theorem OAI.VelocityDetection.PeriodicCalculus.support_extend line 86
6. theorem OAI.VelocityDetection.PeriodicCalculus.support_residual line 100
7. theorem OAI.VelocityDetection.PeriodicCalculus.periodic_lift line 115