OAI/Geometry/NodalSets/Charts/SphereChartFluxL2.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Yau.Target.sphereChartCompletedFlux line 14
  2. theorem OAI.Yau.Target.sphereChartCompletedFlux_memLp line 18
  3. def OAI.Yau.Target.sphereChartFluxZero line 27
  4. def OAI.Yau.Target.sphereChartForcingZero line 31
  5. theorem OAI.Yau.Target.sphereChartFluxZero_memLp line 34
  6. theorem OAI.Yau.Target.sphereChartForcingZero_memLp line 39
  7. theorem OAI.Yau.Target.sphere_resolvent_zeroFlux_test line 44