Theorem Ideal.span_mul_span

Modification history