Theorem Ideal.IsPrime.isMaximal

Modification history