Theorem Submodule.FG.sup

Modification history