Theorem Ring.mul_inverse_rev'

Modification history