Library
ProCGroups
A Lean 4 library for profinite and pro-C groups, including free pro-C groups, finite generation, completed group algebras, Fox differentials, and Reidemeister–Schreier theory.
A Lean 4 library for profinite and pro-C groups, including free pro-C groups, finite generation, completed group algebras, Fox differentials, and Reidemeister–Schreier theory.