# Commit 2024-10-30 20:23 c6c4ad2c

View on Github →feat(Topology/Group): Open normal subgroup in clopen nhds of one (#18377) Proving that there is always an open normal subgroup in a clopen nhd of compact topological group

feat(Topology/Group): Open normal subgroup in clopen nhds of one (#18377) Proving that there is always an open normal subgroup in a clopen nhd of compact topological group