Theorem RingHom.eq_intCast'

Modification history