Theorem Set.prod_subset_compl_diagonal_iff_disjoint

Modification history