Theorem Ideal.RingHom.ker_isPrime

Modification history