v4.29.0-rc7
Pre-release
Pre-release
·
2916 commits
to master
since this release
feat: `∃ a, f a ≤ x < f (succ a)` for a normal function `f` (#36759) Most of the diff is just re-sectioning.