OAI/NumberTheory/CubicMoment/Theta/CubicThetaPrimeCubeBranchPeriodicity.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Each triangular branch depends only on its residue parameter, with the period-three automorphy and the cubic phase both retained.

  1. lemma OAI.CubicFirstMoment.cubicThetaPrimeCubeBranchPoint_translate line 10
  2. lemma OAI.CubicFirstMoment.cubicThetaPrimeCubeBranch_section_congr line 28
  3. lemma OAI.CubicFirstMoment.cubicThetaPrimeCubeBranch_term_congr line 38