Theorem RingHom.is_integral_mul

Modification history