OAI/Analysis/CircleDomains/Main.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Circle-domain uniformization and rigidity under conformal removability.

  1. theorem OAI.Problem047.koebe_circle_domain line 10

    Distinct definitions of this name: ComparatorChallenges/KoebeCircleDomains.lean:62 (same statement text; different proof or body). Qualify references as OAI.Problem047.koebe_circle_domain@path.

  2. theorem OAI.Problem047.removability_implies_rigidity line 16

    Distinct definitions of this name: ComparatorChallenges/KoebeCircleDomains.lean:68 (same statement text; different proof or body). Qualify references as OAI.Problem047.removability_implies_rigidity@path.