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.

Estimated changes