Theorem Ideal.span_singleton_neg

Modification history