OAI/MathematicalPhysics/NavierStokes/VelocityDetection/HeatKernelsContDiffKernel.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VelocityDetection.HeatKernels.contDiff_kernel line 17
  2. theorem OAI.VelocityDetection.HeatKernels.partialD_kernel line 21
  3. def OAI.VelocityDetection.HeatKernels.momentKernel line 42
  4. theorem OAI.VelocityDetection.HeatKernels.integrable_weighted_gaussian line 44
  5. theorem OAI.VelocityDetection.HeatKernels.integrable_momentKernel line 54
  6. theorem OAI.VelocityDetection.HeatKernels.partialD_kernel_rescale line 65
  7. theorem OAI.VelocityDetection.HeatKernels.integrable_partialD_kernel line 81
  8. def OAI.VelocityDetection.HeatKernels.absoluteMoment line 87
  9. theorem OAI.VelocityDetection.HeatKernels.absoluteMoment_nonneg line 89
  10. theorem OAI.VelocityDetection.HeatKernels.integral_norm_partialD_kernel line 92
  11. theorem OAI.VelocityDetection.HeatKernels.integral_norm_partialD_kernel_eq line 109