Commit 2024-01-18 18:38 d8b1dddb
View on Github →feat(Algebra/Ring/CentroidHom): central iff mul op commute (#8663) Show that an element of a commutative semiring is central iff the corresponding multiplication operator commutes with all multiplication operators