Theorem RingEquiv.symm_toRingHom_comp_toRingHom

Modification history