Theorem Commute.inv_left_iff₀

Modification history