Theorem RingHom.domain_isLocalRing

Modification history