OAI/Probability/SLE/Geometry/InteriorFluxBound.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A lower bound on circle averages of a Laplacian integrates to a quadratic lower bound on boundary flux.

  1. lemma OAI.SLEExactGauge.radial_flux_ge_of_circle_laplacian line 14