Are prime numbers among sums of prime numbers distributed as $\frac n{2\ln(n)}$?

History

1. Source revision33c6a2dcafc5

   Declaration retained in the published subset

   MathOverflow434111.restricted_prime_number_theorem binds its category, docstring, Lean signature, source path, rights basis, and exact file root together.

2. Earlier rename history

   No earlier declaration alias, split, merge, or supersession is asserted by this retained snapshot.