Theorem Set.mem_inter_iff

Modification history