OAI/Analysis/Crouzeix/Hurwitz.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Hurwitz.

  1. theorem OAI.CrouzeixHilbert.Conformal.zero_or_ne_of_tendstoLocallyUniformlyOn line 14
  2. theorem OAI.CrouzeixHilbert.Conformal.injOn_of_tendstoLocallyUniformlyOn line 78