Theorem Ideal.span_singleton_le_iff_mem

Modification history