Topological Groups¶
← Back to Domain-Specific Abstractions by Domain
1 domain-specific abstractions whose origin domain is Topological Groups.
- Restricted product — The subgroup of a direct product whose coordinates lie in designated compact open subgroups at all but finitely many indices.