OAI/Analysis/CircleDomains/Uniformization/ScalarModelSequenceLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A sequence of actual finite scalar circle models has a normalized conformal subsequential limit on the entire fixed source domain.

  1. theorem OAI.CircleDomainRigidity.scalar_models_conformal_limit line 14