OAI/MathematicalPhysics/NavierStokes/VelocityDetection/TailSpaceConvolveRescale.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VelocityDetection.TailSpace.Jets.convolve_rescale line 17
2. def OAI.VelocityDetection.TailSpace.Jets.heat line 29
3. theorem OAI.VelocityDetection.TailSpace.Jets.heat_zero line 32
4. theorem OAI.VelocityDetection.TailSpace.Jets.heat_eq_convolve line 35
5. theorem OAI.VelocityDetection.TailSpace.Jets.norm_heat_le line 44
6. theorem OAI.VelocityDetection.TailSpace.Jets.continuous_heat line 48
7. theorem OAI.VelocityDetection.TailSpace.Jets.value_heat line 53