mathlib

108eb0b2 - feat(combinatorics/additive/salem_spencer): Salem-Spencer sets and Roth numbers (#10509)

feat(combinatorics/additive/salem_spencer): Salem-Spencer sets and Roth numbers (#10509) This defines Salem-Spencer sets and Roth numbers in (additive) monoids. Co-authored-by: Bhavik Mehta <bhavikmehta8@gmail.com>