Theorem Set.PairwiseDisjoint.exists_mem_filter

Modification history