Theorem smul_eq_iff_eq_inv_smul

Modification history