salem_spencer): Salem-Spencer sets under images (#13279)

Commit

3 years ago

feat(combinatorics/additive/salem_spencer): Salem-Spencer sets under images (#13279) A set `s` is Salem-Spencer iff its image under an injective Freiman hom is.

Author

YaelDillies

Parents

fecdd4b2

mathlib 8bbc5ac4 - feat(combinatorics/additive/salem_spencer): Salem-Spencer sets under images (#13279)

mathlib
8bbc5ac4 - feat(combinatorics/additive/salem_spencer): Salem-Spencer sets under images (#13279)