Theorem Ideal.span_singleton_mul_eq_span_singleton_mul

Modification history