OAI/Analysis/Crouzeix/ExteriorCollar.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Exterior Collar.

  1. def OAI.CrouzeixHilbert.Conformal.inversionChart line 16
  2. theorem OAI.CrouzeixHilbert.Conformal.mem_closure_invertedExterior line 33
  3. structure OAI.CrouzeixHilbert.Conformal.ExteriorCollar line 46
  4. theorem OAI.CrouzeixHilbert.Conformal.reciprocal_simple_pole line 62
  5. theorem OAI.CrouzeixHilbert.Conformal.exists_exteriorCollar line 96