OAI/Probability/SLE/Loewner/RawScaleTests.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Fixed-scale covariance of the same raw functional, expressed as measurable scalar tests on continuous driver space.

  1. lemma OAI.SLEExactGauge.Multipoint.RawCanonicalMass.scaled_parameter_measurable line 18
  2. lemma OAI.SLEExactGauge.Multipoint.CanonicalMass.raw_scaled_test_eq line 27