OAI/Probability/SLE/Mass/ScaledGreenMeasure.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Killed Green measures scale by the same dimension-weighted spatial pushforward as the canonical mass, including points no longer surviving.

  1. lemma OAI.SLEExactGauge.Multipoint.halfPlaneGreenMeasure_scaled line 19
  2. lemma OAI.SLEExactGauge.Multipoint.canonicalGreenMass_scaled line 34