OAI/Analysis/CircleDomains/Selection/ConditionalKoebe.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Circle-domain uniformization from the stated geometric, analytic, and probability hypotheses for local and finite models.

  1. theorem OAI.CircleDomainRigidity.koebeCircleDomainConjecture_of_constructed_quotient line 17
  2. theorem OAI.CircleDomainRigidity.koebeCircleDomainConjecture_of_constructed_contours line 57
  3. theorem OAI.CircleDomainRigidity.koebeCircleDomainConjecture_of_published_inputs line 85