Theorem Units.inv_mul_cancel_left

Modification history