Theorem isPreconnected_uIcc

Modification history

2024-08-01 10:24

Mathlib/Topology/Order/IntermediateValue.lean

feat(IntermediateValue): add `IsFixedPt` corollaries (#15395) …

Modified isPreconnected_uIcc View on Github →

2023-02-06 08:18

Mathlib/Topology/Algebra/Order/IntermediateValue.lean

feat: port Topology.Algebra.Order.IntermediateValue (#2085)

Added isPreconnected_uIcc View on Github →