OAI/Analysis/IntegralMeans/KoebeCone.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Brennan.Sharp.right_cone_mem_disk line 9
2. lemma OAI.Brennan.Sharp.left_cone_mem_disk line 21
3. lemma OAI.Brennan.Sharp.norm_rpow_neg_two line 28
4. lemma OAI.Brennan.Sharp.koebe_left_cone_lower line 33
5. lemma OAI.Brennan.Sharp.koebe_right_cone_lower line 40