OAI/Analysis/SymmetricDomains/ActionAutomorphismHomRange.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.Release061.Biholomorph.automorphismSecondCountable line 36
2. theorem OAI.Release061.bounded_divisible_automorphism_evaluation_proper line 40
3. theorem OAI.Release061.bounded_divisible_automorphism_locallyCompact line 59
4. def OAI.Release061.actionAutomorphismHom line 73
5. theorem OAI.Release061.bounded_divisible_automorphism_compact_cover line 81
6. theorem OAI.Release061.proper_discrete_orbit_map line 103
7. theorem OAI.Release061.actionAutomorphismHom_proper line 124
8. theorem OAI.Release061.discrete_range_of_isClosedMap line 133
9. theorem OAI.Release061.actionAutomorphismHom_range_discrete line 146