Theorem Set.ordConnected_iff_interval_subset_left

Modification history