OAI/NumberTheory/Ostmann/Characters/SparseTailCoverage.lean
1 declarations, 0 contain sorry, 0 declared as axioms
Full prime coverage forces a large sparse weight on the actual tails
- theorem
OAI.Ostmann.EventuallyPrimeSumset.sparse_tail_coverageline 12