Theorem Finset.mem_sym2_iff

Modification history