OAI/Geometry/Cannon/Conformal/Normalizer.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CannonMobius.biholomorphic_stabilizer line 26
  2. lemma OAI.CannonMobius.triple_normalizer_unique line 45
  3. lemma OAI.CannonMobius.reflection_inv line 60
  4. lemma OAI.CannonMobius.reflection_affine line 62
  5. lemma OAI.CannonMobius.reflection_inversion line 71
  6. lemma OAI.CannonMobius.reflection_conjugate_biholomorphic line 91
  7. lemma OAI.CannonMobius.reflection_standard line 106
  8. def OAI.CannonMobius.normalizer line 111
  9. lemma OAI.CannonMobius.normalizer_spec line 113
  10. def OAI.CannonMobius.center line 116
  11. lemma OAI.CannonMobius.center_orbit line 119
  12. lemma OAI.CannonMobius.center_biholomorphic line 127
  13. lemma OAI.CannonMobius.center_reflection line 137
  14. lemma OAI.CannonMobius.center_conformal line 156
  15. lemma OAI.CannonMobius.center_surjective line 169
  16. lemma OAI.CannonMobius.sendToInfty_biholomorphic line 191
  17. lemma OAI.CannonMobius.ae_conformal_post_biholomorphic line 197
  18. lemma OAI.CannonMobius.restriction_affine_or_anti line 215
  19. theorem OAI.CannonMobius.sphere_ae_conformal_rigidity line 243
  20. theorem OAI.CannonMobius.sphere_action_straightening line 287