Theorem Submodule.restrictScalars_top

Modification history