Theorem RingHom.is_integral_add

Modification history