OAI/Geometry/Cannon/Uniformization/SurjectiveRealizationHomeomorphLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A homeomorphism obtained as the limit of surjective finite realizations.

  1. theorem OAI.CannonRealization.surjective_realization_homeomorph_limit line 18
  2. theorem OAI.CannonRealization.surjective_realization_quasiMobius_limit line 37