Commit 2025-02-03 11:50 e8eea565

View on Github →

feat(Topology/Group): Forgetful functor of ProfiniteGrp reflects isomorphism (#20764) Proved that the forgetful functor of profinite grp reflects isomorphism. Be able to fix ContinuousMulEquiv -> Category.Iso in ProfiniteGrp

Estimated changes