Theorem Finset.diag_mem_sym2_mem_iff

Modification history