Theorem RingHom.ker_isPrime

Modification history