Theorem Finset.offDiag_card

Modification history