Theorem Submodule.span_prod_le

Modification history