OAI/NumberTheory/TwoPoint/Bounds/PrimeSupplyScale.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The literal scale choice of the manuscript satisfies all prime-supply mass and support hypotheses; no prime-family existence premise remains.

  1. def OAI.TwoPointCorrelations.primeSupplyCount line 13
  2. lemma OAI.TwoPointCorrelations.primeSupplyScale_endpoint line 16
  3. lemma OAI.TwoPointCorrelations.eventually_primeSupplyCount_pos line 30
  4. theorem OAI.TwoPointCorrelations.ModFiveThetaInput.eventually_actual_prime_supplies line 43