Theorem eq_inv_smul_iff

Modification history