Theorem Units.commute_iff_inv_mul_cancel

Modification history