Theorem Pairwise.exists_mem_filter_of_disjoint

Modification history