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