Theorem Finset.offDiag_singleton

Modification history