Theorem Ideal.span_pair_add_mul_right

Modification history