Commit 2024-12-13 19:24 76cecbbd
View on Github →feat(Topology/Algebra/Group/Basic): a quotient map between topological groups is open (#19657) From the FLT project.
feat(Topology/Algebra/Group/Basic): a quotient map between topological groups is open (#19657) From the FLT project.