Commit 2024-07-06 08:39 c62bce90
View on Github →feat: Bergelson's Intersectivity Lemma (#11143) Prove a weak version of the Bergelson intersectivity lemma. The proof gives the strong version, but we need natural density to state it. This is a prerequisite to Tao and Ziegler's recent paper Infinite partial sumsets in the primes.