Theorem Ideal.isMaximal_of_isPrime

Modification history