Theorem Submodule.smul_mem_span_smul

Modification history