Theorem Ring.mul_inverse_rev

Modification history