Theorem Finset.pairwiseDisjoint_piAntidiag_map_addRightEmbedding

Modification history