mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(Topology/Group/Profinite): Profinite group is limit of finite group

Open Thmoas-Guan opened this issue 1 year ago • 2 comments

Prove that any profinite group is limit of finite groups.

  • [ ] depends on: #16976
  • [x] depends on: #16980
  • [ ] depends on: #16991

Open in Gitpod

Thmoas-Guan avatar Sep 21 '24 07:09 Thmoas-Guan