Theorem Ideal.span_mono

Modification history