Theorem RingHom.eq_int_cast'

Modification history