Theorem RingEquiv.toOpposite_apply

Modification history