Theorem eq_inv_smul_iff₀

Modification history