Theorem Ideal.prod_span

Modification history