Theorem Commute.inv_left₀

Modification history