Theorem Commute.inv_right_iff₀

Modification history