Theorem Submodule.FG.of_restrictScalars

Modification history