mathlib-bors[bot]

:v: kbuzzard 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/9822701714/job/27119726612) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9822701714/job/27119726827)

:v: CBirkbeck 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/10039441472/job/27743381599) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/10039441472/job/27743382322)

:v: kbuzzard 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).

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

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

:v: javra 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).

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

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