mathlib-bors[bot]

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

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

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

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

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

:v: loefflerd 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/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/9275255408/job/25519516105) * [Check all files imported](https://github.com/leanprover-community/mathlib4/actions/runs/9275255408/job/25519515611) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9275255408/job/25519516333)

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

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