Theorem Ideal.span_le

Modification history