mathlib

d533fbb5 - fix(finsupp/pointwise): Relax the ring requirement to semiring (#5723)