Commit 2022-03-19 11:33 ef69547c
View on Github →feat(group_theory/finiteness): Define the minimum number of generators (#12765) The PR adds a definition of the minimum number of generators, which will be needed for a statement of Schreier's lemma.
feat(group_theory/finiteness): Define the minimum number of generators (#12765) The PR adds a definition of the minimum number of generators, which will be needed for a statement of Schreier's lemma.