OAI/NumberTheory/TwoPoint/Bounds/PrimeTraceParameters.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The canonical prime count and padding degree cap satisfy the numerical budgets of the trace theorem with an absolute coefficient.

  1. lemma OAI.TwoPointCorrelations.prime_trace_degree_budget line 10
  2. lemma OAI.TwoPointCorrelations.prime_trace_endpoints line 25