Theorem Ideal.mem_span_singleton'

Modification history