OAI/NumberTheory/CubicMoment/Estimates/CubePairError.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The cube-lattice asymptotic at the exact scale of each Poisson entry.

  1. theorem OAI.CubicFirstMoment.cube_poisson_pair_error line 11