Theorem Ideal.Filtration.submodule_fg_iff_stable

Modification history