OAI/MathematicalPhysics/NavierStokes/VelocityDetection/TailSpaceHeatExtension.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VelocityDetection.TailSpace.Jets.heatExtension line 17
  2. theorem OAI.VelocityDetection.TailSpace.Jets.heatExtension_of_nonneg line 20
  3. theorem OAI.VelocityDetection.TailSpace.Jets.heat_of_nonpos line 25
  4. theorem OAI.VelocityDetection.TailSpace.Jets.heatExtension_of_nonpos line 30
  5. theorem OAI.VelocityDetection.TailSpace.Jets.continuous_heatExtension line 35
  6. theorem OAI.VelocityDetection.TailSpace.Jets.continuous_heatExtension_derivative line 50
  7. theorem OAI.VelocityDetection.TailSpace.Jets.hasDerivAt_heatExtension line 58
  8. def OAI.VelocityDetection.TailSpace.Jets.duhamel line 91
  9. def OAI.VelocityDetection.TailSpace.Jets.extendedDuhamel line 94
  10. theorem OAI.VelocityDetection.TailSpace.Jets.extendedDuhamel_eq line 97
  11. theorem OAI.VelocityDetection.TailSpace.Jets.hasDerivAt_extendedDuhamel line 104
  12. theorem OAI.VelocityDetection.TailSpace.Jets.hasDerivWithinAt_duhamel line 124
  13. theorem OAI.VelocityDetection.TailSpace.Jets.differentiateL_apply line 146
  14. theorem OAI.VelocityDetection.TailSpace.Jets.differentiate_translate line 149
  15. theorem OAI.VelocityDetection.TailSpace.Jets.differentiate_average line 155
  16. theorem OAI.VelocityDetection.TailSpace.Jets.differentiate_heat line 162
  17. theorem OAI.VelocityDetection.TailSpace.Jets.laplace_heat line 167
  18. theorem OAI.VelocityDetection.TailSpace.Jets.restrict_laplace line 171
  19. theorem OAI.VelocityDetection.TailSpace.Jets.laplace_integral_heat line 178
  20. theorem OAI.VelocityDetection.TailSpace.Jets.hasDerivAt_of_evaluations line 202