Theorem RingEquiv.toRingHom_trans

Modification history