Theorem Ideal.span_prod_le

Modification history