Theorem Finset.offDiag_mono

Modification history