Def Module.fgSystem

Modification history

2025-01-02 19:57
Mathlib/Algebra/Colimit/Finiteness.lean
feat(Algebra/Colimit): the directed system of finitely generated submodules (#20264) …
Added Module.fgSystemView on Github →