v4.15.0-rc1
Pre-release
Pre-release
·
17 commits
to main
since this release
chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch (#1073) Co-authored-by: leanprover-community-mathlib4-bot <[email protected]> Co-authored-by: Mario Carneiro <[email protected]> Co-authored-by: Jeremy Tan Jie Rui <[email protected]> Co-authored-by: Joachim Breitner <[email protected]> Co-authored-by: Kyle Miller <[email protected]> Co-authored-by: Matthew Ballard <[email protected]> Co-authored-by: Henrik Böving <[email protected]>