Theorem Ideal.isMaximal_iff_isMaximal_disjoint

Modification history