Theorem Ideal.span_eq

Modification history