Commit 2023-05-30 10:24 9a1ffe49
View on Github →refactor(analysis/calculus/darboux): review API (#19125) Add more versions of the main theorem, slightly generalize existing versions.
refactor(analysis/calculus/darboux): review API (#19125) Add more versions of the main theorem, slightly generalize existing versions.