Theorem Set.exists_ne_mem_inter_of_not_pairwiseDisjoint

Modification history