Theorem RingHom.IsIntegralElem.of_mul_unit

Modification history