Theorem Ideal.span_singleton_mul_right_injective

Modification history