Theorem Group.fg_iff_subgroup_fg

Modification history

2023-08-20 13:35
Mathlib/GroupTheory/Finiteness.lean
feat(Algebra.Module.Zlattice): add Zlattice.module_free and Zlattice.rank (#5728) …
Added Group.fg_iff_subgroup_fgView on Github →