Theorem Ideal.span_singleton_mul_le_iff

Modification history