OAI/Analysis/Crouzeix/ConvexApproximation.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Convex Approximation.

  1. theorem OAI.CrouzeixHilbert.Conformal.isSimplyConnected_of_convex line 16
  2. theorem OAI.CrouzeixHilbert.Conformal.exists_convex_analytic_neighborhood line 22