OAI/Geometry/Cannon/Uniformization/LayerFamily.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonUniformization.layerFamily line 17
2. theorem OAI.CannonUniformization.exists_layer_transfer_constant line 21
3. theorem OAI.CannonUniformization.annulus_modulus_serial line 128
4. theorem OAI.CannonUniformization.exists_annulus_transfer_constant line 154
5. lemma OAI.CannonUniformization.inverse_power_ratio line 197
6. lemma OAI.CannonUniformization.inverse_power_antitone line 203
7. lemma OAI.CannonUniformization.spaced_inverse_powers line 208
8. theorem OAI.CannonUniformization.annular_modulus_decay line 225