Theorem RingHom.injective_nat

Modification history