Theorem Submodule.span_smul_span

Modification history