Theorem Finset.diag_mem_sym2_iff

Modification history