OAI/NumberTheory/CubicMoment/Angular/AngularSemiprimeSmoothed.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CubicFirstMoment.angularSemiprimeSmoothedPolynomial line 16
2. lemma OAI.CubicFirstMoment.angularSemiprimeSmoothedPolynomial_symm line 21
3. lemma OAI.CubicFirstMoment.angularSemiprimeSmoothedPolynomial_full line 26
4. theorem OAI.CubicFirstMoment.angular_semiprime_smoothed_log_saving line 42