Theorem Finset.coe_offDiag

Modification history