Theorem Ideal.span_singleton_le_span_singleton

Modification history