Theorem Set.mem_inv_smul_set_iff₀

Modification history