Theorem Ideal.span_singleton_lt_span_singleton

Modification history