OAI/Analysis/Crouzeix/InteriorCollar.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Interior Collar.

  1. structure OAI.CrouzeixHilbert.Conformal.InteriorCollar line 14
  2. theorem OAI.CrouzeixHilbert.Conformal.exists_interiorCollar line 34
  3. lemma OAI.CrouzeixHilbert.Conformal.InteriorCollar.zero_mem_disk line 46
  4. lemma OAI.CrouzeixHilbert.Conformal.InteriorCollar.h_zero_mem line 48
  5. lemma OAI.CrouzeixHilbert.Conformal.InteriorCollar.f_h_zero line 50
  6. lemma OAI.CrouzeixHilbert.Conformal.InteriorCollar.closedDisk_subset line 52
  7. lemma OAI.CrouzeixHilbert.Conformal.InteriorCollar.h_mem_domain line 54