Theorem Units.commute_iff_mul_inv_cancel_assoc

Modification history