Yamaguchi Lean 4 Library
Download
ReidemeisterSchreier.Profinite.OpenSubgroups.Basic
ReidemeisterSchreier
/
Profinite
/
OpenSubgroups
/
Basic
ReidemeisterSchreier.Profinite.OpenSubgroups.Basic
No declarations
Open this file on GitHub
import
ProCGroups.GroupTheory.Subgroups
Imported by
ReidemeisterSchreier
ReidemeisterSchreier.Profinite
ReidemeisterSchreier.Profinite.OpenSubgroups
ReidemeisterSchreier.Profinite.OpenSubgroups.RankBound
Declarations
Show all proofs
No declarations.