Theorem Set.Ioo.mem_iff_one_sub_mem

Modification history