Theorem Finset.image_diag_union_image_offDiag

Modification history