OAI/Analysis/Crouzeix/ConformalCollar.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Conformal Collar.

  1. theorem OAI.CrouzeixHilbert.Conformal.isOpen_image_of_univalent line 16
  2. theorem OAI.CrouzeixHilbert.Conformal.image_closure_eq_closedDisk line 24
  3. theorem OAI.CrouzeixHilbert.Conformal.exists_conformal_collar line 39