Theorem RingEquiv.toRingHom_apply_symm_toRingHom_apply

Modification history