Theorem Set.sub_mem_Ioo_iff_left

Modification history