mathlib

43aee091 - feat(algebra/pointwise): improve instances on `set_semiring` (#7050)

feat(algebra/pointwise): improve instances on `set_semiring` (#7050) If `α` is weaker than a semiring, then `set_semiring α` inherits an appropriate weaker typeclass. Co-authored-by: Oliver Nash <github@olivernash.org>