Theorem Submodule.span_mono

Modification history