Theorem Group.fg_iff_monoid_fg

Modification history

2023-05-16 06:36
Mathlib/GroupTheory/Finiteness.lean
refactor: rename `Fg` to `FG` (#3948) …
Modified Group.fg_iff_monoid_fgView on Github →
2023-02-18 21:13
Mathlib/GroupTheory/Finiteness.lean
chore: tidy various files (#2321)
Added Group.fg_iff_monoid_fgView on Github →