ordered): IVT for the unordered interval (#7237)

Commit

4 years ago

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

Author

benjamindavidson

Parents

5993b90e

mathlib3 43f63d99 - feat(topology/algebra/ordered): IVT for the unordered interval (#7237)

mathlib3
43f63d99 - feat(topology/algebra/ordered): IVT for the unordered interval (#7237)