darboux): review API (#19125)

Commit

2 years ago

refactor(analysis/calculus/darboux): review API (#19125) Add more versions of the main theorem, slightly generalize existing versions.

Author

urkud

Parents