OAI/NumberTheory/CubicMoment/Angular/AngularPrimeTupleSize.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CubicFirstMoment.angularTupleCore_norm line 12
2. lemma OAI.CubicFirstMoment.angular_vonMangoldt_tuple_core_bound line 29
3. theorem OAI.CubicFirstMoment.angular_vonMangoldt_unsplit_size line 41