Theorem Ideal.span_singleton_mul_left_mono

Modification history