Theorem Ideal.isMaximal_of_isMaximal_disjoint

Modification history