Theorem Set.eq_endpoints_or_mem_Ioo_of_mem_Icc

Modification history