OAI/Probability/SLE/Geometry/HalfPlaneDiskTransport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Transport a boundary-fixing disk homeomorphism through the fixed Cayley chart.

  1. def OAI.SLEExactGauge.halfPlaneDiskTransport line 12
  2. lemma OAI.SLEExactGauge.halfPlaneDiskTransport_apply line 19
  3. lemma OAI.SLEExactGauge.halfPlaneDiskTransport_boundary line 27