Theorem Finset.mem_sym_iff

Modification history