The Erdős–Graham–Ruzsa–Straus two-prime theorem

Source: doi:10.1090/S0025-5718-1975-0369288-3 Authors: Egor Lyfar Status: verified Main declarations: Egrs75.MuFinish.egrs_two_prime_mu, Egrs75.Finish.egrs_two_prime_finish Tags: number-theory, central-binomial-coefficients, digit-representations, erdos-problems MSC: 11A63, 11B65