Theorem Submodule.smul_mem_span_smul_of_mem

Modification history