Theorem topological_group.t2_space
Modification history
2023-04-04 22:00
src/topology/algebra/group/basic.lean
chore(topology/algebra/group): generalise instances (#15171) …
Modified topological_group.t2_spaceView on Github →2022-04-22 20:06
src/topology/algebra/group.lean
feat(topology/algebra/group): quotient by a closed subgroup is regular (#13278)
Modified topological_group.t2_spaceView on Github →