Theorem Ideal.mem_span

Modification history