Theorem Submodule.smul_singleton

Modification history