OAI/Probability/SLE/Loewner/RawConstantTailTrace.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A constant driving tail produces the vertical slit transported by the inverse chart at its starting time.

  1. theorem OAI.SLEExactGauge.Target.trace_constant_tail line 15