Theorem Submodule.span_smul

Modification history