Theorem Ideal.span_singleton_mul_span_singleton

Modification history