OAI/MathematicalPhysics/NavierStokes/VelocityDetection/PeriodicHeat.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.PeriodicSpace.Jets.hasDerivAt_translate line 13
2. theorem OAI.VelocityDetection.PeriodicSpace.Jets.partialD_scaled_value line 26
3. theorem OAI.VelocityDetection.PeriodicSpace.Jets.integrable_kernel_value line 39
4. theorem OAI.VelocityDetection.PeriodicSpace.Jets.moment_average_eq line 47
5. def OAI.VelocityDetection.PeriodicSpace.Jets.heatGradient line 88
6. theorem OAI.VelocityDetection.PeriodicSpace.Jets.heatGradient_eq line 93
7. theorem OAI.VelocityDetection.PeriodicSpace.Jets.norm_heatGradient_le line 98
8. theorem OAI.VelocityDetection.PeriodicSpace.Jets.continuous_heat_joint line 105
9. theorem OAI.VelocityDetection.PeriodicSpace.Jets.continuousOn_heatGradient_joint line 110