Theorem Ideal.mem_span_singleton

Modification history