Theorem Submodule.smul_mem_span_smul'

Modification history