Theorem Submodule.localized'_smul

Modification history