Theorem Submodule.fg_ker_comp
Modification history
2025-02-25 14:06
Mathlib/RingTheory/Finiteness/Finsupp.lean
feat(RingTheory): Artinian rings over Jacobson rings (#21904)
Modified Submodule.fg_ker_compView on Github →2024-11-14 10:43
Mathlib/RingTheory/Finiteness.lean
chore(RingTheory): split Finiteness.lean into many smaller files (#18964) …
Modified Submodule.fg_ker_compView on Github →