Theorem Units.mul_inv_cancel_left

Modification history