Theorem RingHom.is_integral_sub

Modification history