Theorem Ideal.span_singleton_mul_right_unit

Modification history