Theorem RingEquiv.symm_trans

Modification history