[Merged by Bors] - feat(RingTheory/Coalgebra/Convolution): Algebra instance on convolution semiring#39629

hawkrobe wants to merge 15 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

hawkrobe:coalg-convolution-algebrahawkrobe/mathlib4:coalg-convolution-algebraCopy head branch name to clipboard