Theorem Ideal.span_mul_span'

Modification history