OAI/Analysis/NumericalRange/BoundaryRepresentation.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CompleteCrouzeix.stable_disk_inverse_isUnit line 75
2. lemma OAI.CompleteCrouzeix.stable_star_disk_inverse_isUnit line 82
3. def OAI.CompleteCrouzeix.boundaryDiskDensity line 89
4. lemma OAI.CompleteCrouzeix.boundaryDiskDensity_nonneg line 92
5. lemma OAI.CompleteCrouzeix.boundaryDiskDensity_eq line 121
6. lemma OAI.CompleteCrouzeix.coordinate_circle_cauchy line 144
7. lemma OAI.CompleteCrouzeix.coordinate_circle_cauchy_matrix line 170
8. theorem OAI.CompleteCrouzeix.complete_pulled_disk_representation line 204