Theorem Set.OrdConnected_iff_interval_subset_right

Modification history