OAI/Probability/SLE/Gauge/WholeSausageScaling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact whole-sausage scaling at the one common physical mesh. The capacity time change does not change the trace's range.

  1. lemma OAI.SLEExactGauge.wholeSausageSet_surjective_clock line 16
  2. lemma OAI.SLEExactGauge.wholeSausageSet_affine line 27
  3. theorem OAI.SLEExactGauge.wholeSausageCharge_affine line 42
  4. theorem OAI.SLEExactGauge.wholeSausageCharge_scalePath line 60