Mathlib v3 is deprecated. Go to Mathlib v4

Theorem group.fg_iff'

Modification history

2022-03-19 11:33
src/group_theory/finiteness.lean
feat(group_theory/finiteness): Define the minimum number of generators (#12765) …
Added group.fg_iff'View on Github →