OAI/Probability/SLE/Gauge/DensityWeightedMoments.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The center-hit decay cancels the finite change-of-law density. Consequently every terminal disk moment has one integrable angular bound.

  1. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.uniform_density_disk_terminal_moments line 20