Theorem Units.mul_inv_cancel_right

Modification history