Theorem Set.mem_iInter₂_of_mem

Modification history