OAI/Analysis/DirectCrouzeix/Continuation.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.DirectCrouzeix.Conformal.boundary_germs_compatible line 31
2. theorem OAI.DirectCrouzeix.Conformal.patch_boundary_germs line 66
3. theorem OAI.DirectCrouzeix.Conformal.injective_closure_of_disk_side line 113
4. theorem OAI.DirectCrouzeix.Conformal.univalent_neighborhood_of_disk_side line 140