OAI/Probability/SLE/Geometry/NormalizedPotentialIncrement.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The exact prescribed potential increments are the predictable increments of the actual canonical disk mass on the normalized clock.

  1. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.normalized_potentialDifference_eq_increment line 23
  2. theorem OAI.SLEExactGauge.Multipoint.CanonicalMass.normalized_discreteMass_tendstoInMeasure line 59