Theorem Ideal.IsMaximal.isPrime

Modification history