Commit 2021-04-19 06:54 43f63d99

View on Github →

feat(topology/algebra/ordered): IVT for the unordered interval (#7237) A version of the Intermediate Value Theorem for interval. Co-authored by @ADedecker

Estimated changes

Modified src/topology/algebra/ordered.lean

added theorem intermediate_value_interval