Theorem Commute.inv_right₀

Modification history