OAI/Analysis/StrictMeans/ImageBounds.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.StrictInverseFirstPower.omitted_mobius_normalized line 68
2. lemma OAI.StrictInverseFirstPower.omitted_mobius_coefficient line 86
3. theorem OAI.StrictInverseFirstPower.omitted_value_quarter line 114
4. theorem OAI.StrictInverseFirstPower.koebe_quarter line 143
5. lemma OAI.StrictInverseFirstPower.scale_disk_mem line 160
6. theorem OAI.StrictInverseFirstPower.local_koebe_quarter line 166
7. lemma OAI.StrictInverseFirstPower.disk_outside_half_norm_lower line 208
8. lemma OAI.StrictInverseFirstPower.halfPlaneFunction_outside_norm_lower line 224