Theorem Submodule.span_le_restrictScalars

Modification history