Theorem RingEquiv.symm_toRingHom_apply_toRingHom_apply

Modification history