Theorem RingHom.charZero_iff

Modification history