Theorem Finset.inv_smul_mem_iff

Modification history