OAI/Analysis/CircleDomains/Uniformization/GeometricUniformLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform limits from the point-independent geometric displacement bounds used by the shrinking homeomorphisms.

  1. lemma OAI.CircleDomainRigidity.exists_uniformLimit_of_geometric_steps line 14
  2. lemma OAI.CircleDomainRigidity.exists_continuous_uniformLimit_of_geometric_steps line 42