Theorem Submodule.span_le

Modification history