OAI/Analysis/Crouzeix/HolomorphicAlgebra.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Holomorphic Algebra.

  1. lemma OAI.CrouzeixHilbert.exists_polynomial_tendstoUniformlyOn line 16
  2. lemma OAI.CrouzeixHilbert.holomorphicEval_polynomial line 39
  3. lemma OAI.CrouzeixHilbert.holomorphicEval_const line 47
  4. lemma OAI.CrouzeixHilbert.holomorphicEval_restrict line 53
  5. lemma OAI.CrouzeixHilbert.holomorphicEval_add line 67
  6. lemma OAI.CrouzeixHilbert.holomorphicEval_smul line 82
  7. lemma OAI.CrouzeixHilbert.holomorphicEval_mul line 91