Theorem Set.add_mem_Ioo_iff_left

Modification history