mathlib-bors[bot]

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

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

:v: mans0954 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/9921731734/job/27410011004) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9921731734/job/27410011232)

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

:v: ADedecker 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/9416399964/job/25939405204) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/9416399964/job/25939405033)

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

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

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