Theorem Submodule.fg_iff_add_subgroup_fg
Modification history
2025-08-20 20:25
Mathlib/RingTheory/Finiteness/Defs.lean
chore(Algebra): rename snake_case to lowerCamelCase related to `Submonoid`/`Subgroup` (#28707) …
Deleted Submodule.fg_iff_add_subgroup_fgView on Github →2024-11-14 10:43
Mathlib/RingTheory/Finiteness.lean
chore(RingTheory): split Finiteness.lean into many smaller files (#18964) …
Modified Submodule.fg_iff_add_subgroup_fgView on Github →