Lean 4 formalization of profinite and pro-C groups, free pro-C groups, Reidemeister-Schreier theory, Fox calculus, and Crowell exact sequences.
Lean Updated about 1 month ago 1 commits 2 stars
axiom-bot|Mirror: n-yamaguchi-0729/ProCGroups (⭐2)
about 1 month 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