Theorem Set.exists_lt_mem_inter_of_not_pairwiseDisjoint

Modification history