OAI/NumberTheory/CubicMoment/Estimates/TripleTransitionCentered.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The actual two-prime/one-prime centered polynomial at the transition. Both coefficient masses are derived from prime counting.

  1. theorem OAI.CubicFirstMoment.two_prime_transition_centered line 14