Theorem Ideal.span_pair_mul_span_pair

Modification history