Theorem Ideal.isMaximal_def

Modification history