OAI/Probability/SLE/Mass/CanonicalMassScaling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Canonical mass is identified with its dimension-weighted dilation by the proved Green kernel and continuous increasing-path uniqueness.

  1. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.scaled_raw_process_eq line 25
  2. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.nonzero_probability_scaled line 75
  3. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.nonzero_probability_eq line 108
  4. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.positive_all_times line 118