OAI/Probability/SLE/Mass/RestartMassCoordinates.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The actual centered inverse Loewner map and its mass weight. These are defined only on interior points; no boundary extension is used.

  1. def OAI.SLEExactGauge.IsCapacityTwoWitness.restartHomeomorph line 15
  2. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.restartHomeomorph_apply line 46
  3. def OAI.SLEExactGauge.IsCapacityTwoWitness.restartMassWeight line 53
  4. def OAI.SLEExactGauge.IsCapacityTwoWitness.restartMass line 67
  5. lemma OAI.SLEExactGauge.IsCapacityTwoWitness.restartMass_integral line 73