Theorem Set.ordConnected_of_interval_subset_left

Modification history