Theorem Units.commute_iff_inv_mul_cancel_assoc

Modification history