OAI/Probability/SLE/Angle/TargetClockIdentification.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Exact clock and radius normalization for the source-prescribed flow.

  1. lemma OAI.SLEExactGauge.Target.clock_eq_activeRadiusClock line 14
  2. lemma OAI.SLEExactGauge.Target.radius_eq_physicalConformalRadius line 70
  3. lemma OAI.SLEExactGauge.Target.angle_eq_witness line 91
  4. lemma OAI.SLEExactGauge.Target.alpha_eq_codimension line 103
  5. lemma OAI.SLEExactGauge.Target.p_eq_greenExponent line 108
  6. lemma OAI.SLEExactGauge.Target.green_eq_transported_density line 112