OAI/NumberTheory/CubicMoment/Estimates/FiniteBilinearConstants.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

One set of analytic parameters suffices for the finitely many possible ways to group the coordinates of a fixed prime tuple.

  1. lemma OAI.CubicFirstMoment.finite_bilinear_constants line 11