OAI/Analysis/NumericalRange/OuterNeighborhood.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CompleteCrouzeix.exteriorCoordinate_analytic line 47
2. lemma OAI.CompleteCrouzeix.barrier_exterior_coordinate line 59
3. lemma OAI.CompleteCrouzeix.barrier_exterior_support line 73
4. structure OAI.CompleteCrouzeix.AdmissibleDomain line 117
5. lemma OAI.CompleteCrouzeix.exists_admissible_neighborhood line 130