Theorem Finset.diag_union_offDiag

Modification history