Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-22 20:06 7be21e09

View on Github →

feat(topology/algebra/group): quotient by a closed subgroup is regular (#13278)

Estimated changes

modified theorem topological_group.t2_space