OAI/Analysis/IntegralMeans/Koebe.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Brennan.koebeMap line 10

   Also declared: ComparatorChallenges/BrennanSharp.lean:18 (same declaration text).

2. lemma OAI.Brennan.one_sub_ne_zero_disk line 12
3. lemma OAI.Brennan.koebeMap_hasDerivAt line 18
4. lemma OAI.Brennan.koebeMap_schlicht line 27
5. lemma OAI.Brennan.koebe_arc_deriv_bound line 45
6. lemma OAI.Brennan.koebe_arc_inverse_lower line 74
7. lemma OAI.Brennan.koebe_mean_lower line 82