Theorem Submodule.smul_span

Modification history