Theorem Submodule.span_set_smul

Modification history