Theorem Ideal.span_insert

Modification history