mathlib-bors[bot]

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/9641764414/job/26588108513) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9641764414/job/26588109040)

Build failed: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/10526182629/job/29166475884)

:v: llllvvuu can now approve this pull request. To approve and merge a pull request, simply reply with `bors r+`. More detailed instructions are available [here](https://bors.tech/documentation/getting-started/#reviewing-pull-requests).

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/10617930791/job/29431951728) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/10617930791/job/29431951011)

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/10411263340/job/28834853249) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/10411263340/job/28834853065)

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/9378543109/job/25821954839) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9378543109/job/25821954734)

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/9479056244/job/26116765025) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9479056244/job/26116766309)

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/9237904411/job/25415409699) * [Check all files imported](https://github.com/leanprover-community/mathlib4/actions/runs/9237904411/job/25415409742) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9237904411/job/25415409787)

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/9237904411/job/25415409699) * [Check all files imported](https://github.com/leanprover-community/mathlib4/actions/runs/9237904411/job/25415409742) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9237904411/job/25415409787)

Pull request successfully merged into master. Build succeeded: * [Build](https://github.com/leanprover-community/mathlib4/actions/runs/9878742596/job/27283346267) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9878742596/job/27283346718)