OAI/MathematicalPhysics/NavierStokes/VelocityDetection/HeatKernels.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VelocityDetection.HeatKernels.normal line 16
  2. theorem OAI.VelocityDetection.HeatKernels.normal_nonneg line 18
  3. theorem OAI.VelocityDetection.HeatKernels.integrable_normal line 21
  4. theorem OAI.VelocityDetection.HeatKernels.integral_normal line 24
  5. theorem OAI.VelocityDetection.HeatKernels.normal_two line 29
  6. def OAI.VelocityDetection.HeatKernels.rescale line 44
  7. theorem OAI.VelocityDetection.HeatKernels.integrable_rescale line 47
  8. theorem OAI.VelocityDetection.HeatKernels.integral_rescale line 51
  9. theorem OAI.VelocityDetection.HeatKernels.rescale_nonneg line 59
  10. def OAI.VelocityDetection.HeatKernels.kernel line 63
  11. theorem OAI.VelocityDetection.HeatKernels.kernel_eq_rescale line 66
  12. theorem OAI.VelocityDetection.HeatKernels.integrable_kernel line 79
  13. theorem OAI.VelocityDetection.HeatKernels.integral_kernel line 84
  14. theorem OAI.VelocityDetection.HeatKernels.kernel_nonneg line 89