Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-10 17:25 23cd34bb

View on Github →

Revert "fix timeouts" This reverts commit 933620c02ed75edc03b4f78a937079a97e80dbe2.

Estimated changes

Modified src/topology/algebra/order/intermediate_value.lean

deleted theorem is_preconnected_Icc_aux