OAI/NumberTheory/CubicMoment/Angular/AngularSquarefreeTwists.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CubicFirstMoment.angular_squarefreePrimeTuple_product_character line 12
2. lemma OAI.CubicFirstMoment.angular_squarefreePrimeTuple_small_second_conductor line 37
3. lemma OAI.CubicFirstMoment.angular_squarefreePrimeTuple_lift line 52