OAI/Analysis/CircleDomains/Uniformization/LocalInverseConvergence.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Locally uniform open embeddings have pointwise convergent actual inverses on the limiting image. The small source disks are constructed.

  1. theorem OAI.CircleDomainRigidity.inverse_tendsto_of_locally_uniform_open_embeddings line 13