Lean 4 formalization of profinite and pro-C groups, free pro-C groups, Reidemeister-Schreier theory, Fox calculus, and Crowell exact sequences.
Lean Updated 15 days ago 1 commits 2 stars
axiom-bot|Mirror: n-yamaguchi-0729/ProCGroups (⭐2)
15 days agoAbout
Lean 4 formalization of profinite and pro-C groups, free pro-C groups, Reidemeister-Schreier theory, Fox calculus, and Crowell exact sequences.
Readme
2 stars
1 forks