OAI/Analysis/TriangularHilbert/SmoothFormula.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TriangularHilbert.Heat.scalePrimitive line 10
  2. lemma OAI.TriangularHilbert.Heat.density_three_hasDerivAt line 13
  3. lemma OAI.TriangularHilbert.Heat.scalePrimitive_hasDerivAt line 20
  4. lemma OAI.TriangularHilbert.Heat.smoothKernel_eq_primitive line 33
  5. def OAI.TriangularHilbert.Heat.kernelConstant line 41
  6. def OAI.TriangularHilbert.Heat.kernelProfile line 43
  7. lemma OAI.TriangularHilbert.Heat.kernelConstant_ne_zero line 45
  8. lemma OAI.TriangularHilbert.Heat.scalePrimitive_profile line 49
  9. lemma OAI.TriangularHilbert.Heat.smoothKernel_eq_profile line 61