Theorem Commute.smul_right_iff₀

Modification history