# Commit 2024-09-29 13:27 e17fd83d

View on Github →feat(Topology/Group): define closed subgroup (#16977) Define the type of closed subgroup in a topological group.

feat(Topology/Group): define closed subgroup (#16977) Define the type of closed subgroup in a topological group.