Theorem Submodule.span_smul_le

Modification history