Theorem RingHom.domain_nontrivial

Modification history