Theorem RingHom.codomain_trivial

Modification history