Theorem Ideal.span_prod

Modification history