Theorem RingHom.to_isRingHom

Modification history