OAI/Probability/SLE/Loewner/RawConstantTailInverse.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The inverse after a constant-driver tail is the translated vertical inverse followed by the inverse at the joining time.

  1. theorem OAI.SLEExactGauge.Target.inverseFlow_constant_tail line 16