OAI/Geometry/Riemannian/HarmonicCore/SobolevSix.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.HarmonicCounterexample.Main.SmoothMetric3.sobolevSixConstant line 13
  2. lemma OAI.HarmonicCounterexample.Main.SmoothMetric3.DirichletTest.sobolev_six line 16
  3. lemma OAI.HarmonicCounterexample.Main.SmoothMetric3.sobolev_six line 35
  4. lemma OAI.HarmonicCounterexample.Main.SmoothMetric3.sobolevValue_memLp_six line 61