OAI/Analysis/CircleDomains/Rigidity/RemovabilityMobiusTransport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Conjugating the test homeomorphisms transports conformal removability through a conformal Möbius homeomorphism.

  1. theorem OAI.CircleDomainRigidity.orientationPreserving_conjugate line 12
  2. theorem OAI.CircleDomainRigidity.IsConformallyRemovable.image_mobius line 24
  3. theorem OAI.CircleDomainRigidity.IsConformallyRemovable.frontier_pointToInfinity line 52