mathlib-bors[bot]

Results 216 comments of mathlib-bors[bot]
trafficstars

chore: Delete `Algebra.GroupPower.Ring`

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

feat(CategoryTheory/Galois): fundamental group is limit of automorphism groups

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

feat(CategoryTheory/Galois): fundamental group is limit of automorphism groups

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

feat(CategoryTheory/Galois): fundamental group is limit of automorphism groups

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

feat(CategoryTheory/Galois): fundamental group is limit of automorphism groups

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

feat(Algebra/Algebra/Prod): add prodUnique and uniqueProd for LinearEquiv and AlgebraEquiv

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

feat: allow anyone to add basic labels, via comments

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

chore(Category/TopCat): cleanup

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

feat (NumberTheory/LSeries): Hurwitz zeta

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

refactor(Topology/Category): refactor CompHaus.Basic

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