Theorem is_connected_Icc
Modification history
2022-09-13 09:02
src/topology/algebra/order/intermediate_value.lean
feat(topology/algebra/order/intermediate_value): intervals are connected (#16473) …
Added is_connected_IccView on Github →2020-06-03 13:41
src/topology/algebra/ordered.lean
feat(topology/algebra/ordered): IVT for two functions (#2933) …
Deleted is_connected_IccView on Github →