OAI/Probability/SLE/Gauge/FiniteMomentBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite and uniformly bounded prescribed finite-level moments.

  1. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.levelCoefficient_aestronglyMeasurable line 19
  2. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.uniform_finiteMoment_bound line 34