mathlib-bors[bot]

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

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

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

: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/9209658734/job/25334780698) * [Check all files imported](https://github.com/leanprover-community/mathlib4/actions/runs/9209658734/job/25334781532) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9209658734/job/25334782211)

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

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

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

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

Build failed (retrying...): * Build