Theorem Ideal.mem_span_singleton_mul

Modification history