Commit 2023-12-04 15:55 772b6065

feat(Algebra/Hom/Centroid) : Homomorphism from centre into centroid (#7843) Defines the natural homomorphism from the centre of a non-unital, non-associative semiring into the centroid of the semiring. When the semiring is unital, the centre and the centroid are isomorphic.