Theorem Set.eq_left_or_mem_Ioo_of_mem_Ico

Modification history