Theorem Set.mem_iUnion_of_mem

Modification history