Commit 2020-06-05 07:28 a130c73a
View on Github →feat(topology/algebra/ordered): list of preconnected sets (#2943)
A subset of a densely ordered conditionally complete lattice (e.g., ℝ
) with order topology is preconnected if and only if it is one of the intervals.