OAI/Analysis/Crouzeix/Montel.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Montel.

  1. theorem OAI.CrouzeixHilbert.Conformal.norm_deriv_le_on_half_ball line 13
  2. theorem OAI.CrouzeixHilbert.Conformal.equicontinuous_restrict_of_holomorphic_bounded line 28
  3. def OAI.CrouzeixHilbert.Conformal.extend line 56
  4. theorem OAI.CrouzeixHilbert.Conformal.extend_apply line 60
  5. theorem OAI.CrouzeixHilbert.Conformal.montel line 63