OAI/Probability/SLE/Mass/DiskMassMomentBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform moments of the exact quarter-disk terminal mass, retaining the small centered-target factor before the change of law.

  1. lemma OAI.SLEExactGauge.Target.exists_diskMass_cutoff line 17
  2. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.diskTerminalScalar_le_test line 59
  3. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.uniform_diskTerminalScalar_centered_moments line 92