Theorem Submodule.Fg.stablizes_of_iSup_eq

Modification history