OAI/Probability/SLE/Geometry/FixedCanonicalRestart.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Normalized restarting with a single fixed canonical trace factor. The factor and hence its dense-experiment constants are chosen before the stopping time and the stopped-past normalization scale.

  1. theorem OAI.SLEExactGauge.source_normalized_restart_with_factor line 20