Theorem RingEquiv.toNonUnitalRingHom_refl

Modification history