OAI/Analysis/CircleDomains/Topology/AnchoredCurveImages.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Every fixed source contour has compatible image interiors along a locally uniformly convergent sequence of normalized conformal maps.

  1. theorem OAI.CircleDomainRigidity.exists_anchored_curve_images line 13