Commit 2024-09-29 08:12 9491960f

View on Github →

feat(Topology/Group/Profinite): limits in the category of profinite groups (#16976) Define the limit in profinite groups as a profinite group.

Estimated changes