Erdős problem 955If A⊂NA\subset \mathbb{N} has density 00 then s−1(A)s^{-1}(A) must also have density 00.SourcesBrowse retained paths and inspect the exact material available for this Problem.12 retained statements · 2415f78e850aOpen selected sourceFormalConjectures/ErdosProblems/955.leanRetained formal statement12 of 12FormalConjectures/ErdosProblems/955.lean · Erdos955.s_two1 lineExact file1Erdos955.s 2 = 1TestStatement only, no proofSource providersErdős Problems1Formal Conjectures12Referenced pathsFormalConjectures/ErdosProblems/955.lean12erdos_955Statement only, no prooferdos_955.variants.empty_preimageStatement only, no prooferdos_955.variants.pollack_pomerance_thompson_boundStatement only, no prooferdos_955.variants.pollack_primesStatement only, no prooferdos_955.variants.positive_densityStatement only, no prooferdos_955.variants.troupe_sum_of_two_squaresStatement only, no prooferdos_955.variants.troupe_unusually_many_prime_factorsStatement only, no proofs_oneStatement only, no proofs_sixStatement only, no proofs_twelveStatement only, no proofs_twenty_eightStatement only, no proofs_twoStatement only, no proof
FormalConjectures/ErdosProblems/955.lean · Erdos955.s_two1 lineExact file1Erdos955.s 2 = 1TestStatement only, no proof