OAI/Analysis/IntegralMeans/UnivalentArea.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Brennan.exists_smooth_cutoff line 21
2. lemma OAI.Brennan.det_fderiv_complex line 38
3. lemma OAI.Brennan.smooth_extension_near_compact line 47
4. lemma OAI.Brennan.meromorphic_boundary_winding_le_zero line 68
5. lemma OAI.Brennan.det_holomorphic_plus_conjugate line 185
6. lemma OAI.Brennan.meromorphic_univalent_area line 200