mathlib
2401d996 - feat(group_theory/finiteness): add group.fg (#7338)

Commit

4 years ago

feat(group_theory/finiteness): add group.fg (#7338) Basic facts about finitely generated groups. - [x] depends on: #7279

Author

riccardobrasca

Parents