OAI/Probability/SLE/Geometry/RandomRawScaleTests.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The raw mass scaling identity survives a scale, time and spatial test chosen from the stopped past. No uncountable common exceptional set is used.

  1. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.random_raw_scaled_test_eq line 19
  2. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.random_raw_scaled_mass_eq line 75