OAI/Probability/SLE/Gauge/RestrictedConformalSausage.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Area transport of the part of a stopped sausage in a prescribed region. Agreement of the physical trace with the conformal image is only needed at the nearby interior witnesses.

  1. theorem OAI.SLEExactGauge.restricted_segment_sausage_conformal_transfer line 16
  2. lemma OAI.SLEExactGauge.conformal_transfer_coefficient line 52