Theorem Set.eq_of_mem_ordConnectedSection_of_interval_subset

Modification history