Theorem Ideal.isCoprime_span_singleton_iff

Modification history