OAI/Probability/SLE/Geometry/HolomorphicFamilyCompactness.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Sequential compactness of locally bounded holomorphic half-plane families, with the ordinary compact-open topology.

  1. lemma OAI.SLEExactGauge.holomorphic_halfPlane_family_subsequence line 23