OAI/Probability/SLE/Loewner/SlitRealCharacteristics.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact driver of a prescribed simple slit has noncolliding real Loewner characteristics throughout every finite capacity prefix.

  1. theorem OAI.SLEExactGauge.slit_regularRealCharacteristics line 14