Theorem Ideal.pi_span

Modification history