Commit 2026-06-11 13:59 b580ec53

View on Github →

feat(RingTheory/Coalgebra/Convolution): Algebra instance on convolution semiring (#39629) This PR completes the algebraic structure on the convolution object.

Estimated changes