Theorem AddOpposite.opMulEquiv_toEquiv

Modification history