Theorem Set.OrdConnected_iff_interval_subset

Modification history