OAI/Probability/SLE/Gauge/SerpentineActualAngle.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Successful actual serpentine completion gives the marked-point angle uniformly in the number of retained strips and in the trace history.

  1. theorem OAI.SLEExactGauge.Serpentine.uniform_serpentine_actual_angle_nonneg line 17