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.