Theorem Submodule.FG.prod

Modification history