Theorem exists_lt_mem_inter_of_not_pairwise_disjoint

Modification history