OAI/Probability/SLE/Gauge/FiniteMomentMonotonicity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Monotonicity and convergence of the source's prescribed moments.

  1. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.levelCoefficient_nonneg_integrable line 19
  2. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.levelCoefficient_mono line 45
  3. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.finiteMoment_mono line 93
  4. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.finiteMoment_tendsto_moment line 110