Theorem Ideal.span_zero

Modification history