Import Ruzsa's sum of sets in several dimensions - #780

Import Ruzsa's sum of sets in several dimensions#780

Vilin97 merged 2 commits into

LeanPool:mainLeanPool/lean-pool:mainfrom

gdahia:gdahia/import-sum-of-sets-in-several-dimensionsgdahia/lean-pool:gdahia/import-sum-of-sets-in-several-dimensionsCopy head branch name to clipboard