OAI/NumberTheory/CubicMoment/Angular/AngularTripleTransitionCentered.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.angular_two_prime_transition_centered line 16