Theorem Finset.not_isDiag_mk_of_mem_offDiag

Modification history