Theorem Submodule.smul_le_span

Modification history