Theorem Ideal.isMaximal_iff

Modification history