OAI/Probability/SLE/Geometry/HolomorphicExitLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A bounded holomorphic map has a genuine left limit at each finite exit of the original planar Wiener path from its open domain.

  1. theorem OAI.SLEExactGauge.holomorphic_domain_exit_limit line 15