Theorem RingHom.charZero

Modification history