Theorem Set.OrdConnected_of_interval_subset_left

Modification history