Commit 2024-09-12 09:29 a7090176
View on Github →feat(Algebra/OpenSubgroup): quotient of compact group by open subgroup is finite (#16671) Shows that the quotient of a compact topological group by an open subgroup is finite.
feat(Algebra/OpenSubgroup): quotient of compact group by open subgroup is finite (#16671) Shows that the quotient of a compact topological group by an open subgroup is finite.