Theorem Finset.diag_inter

Modification history