Theorem Set.eq_right_or_mem_Ioo_of_mem_Ioc

Modification history