Theorem RingEquiv.symm_toNonUnitalRingHom_comp_toNonUnitalRingHom

Modification history