Theorem RingHom.IsIntegralElem.of_mem_closure

Modification history