Theorem Set.mem_inv_smul_set_iff

Modification history