Theorem Ideal.span_singleton_mul_left_inj

Modification history