OAI/Geometry/PrescribedPotential/QuasiPSHLocalMean.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Quasi P S H Local Mean.

  1. lemma OAI.PotentialABP.closedBall_small_center_subset line 23
  2. lemma OAI.PotentialABP.ball_small_center_subset line 33
  3. theorem OAI.PotentialABP.quasiPSH_local_integral line 44