OAI/Probability/SLE/Geometry/CenteredStoppedMonotonicity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The moments of an increasing progressive mass, evaluated at radius stops, increase with the finite centered law's terminal level.

  1. theorem OAI.SLEExactGauge.finiteCenteredLaw_stoppedScalar_moment_mono line 15