Theorem Units.inv_mul_cancel_right

Modification history