Theorem Ideal.span_singleton_mul_left_unit

Modification history