[Merged by Bors] - feat(RingTheory/Coalgebra/Convolution): Algebra instance on convolution semiring#39629
Closed
hawkrobe wants to merge 15 commits into
Closed
[Merged by Bors] - feat(RingTheory/Coalgebra/Convolution): Algebra instance on convolution semiring#39629hawkrobe wants to merge 15 commits into
Algebra instance on convolution semiring#39629hawkrobe wants to merge 15 commits into
Commits
Commits on May 20, 2026
- committed
- committed
- committed
- committed
- committed
- committed
