Theorem setOf_isPreconnected_subset_of_ordered

Modification history