OAI/NumberTheory/CubicMoment/Theta/CubicThetaPrimeCubeHeckeFourier.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The Fourier action of the actual Hecke section, including the frequency support in its dilation and character branches.

  1. theorem OAI.CubicFirstMoment.cubicThetaPrimeCubeHecke_fourier_split line 11
  2. theorem OAI.CubicFirstMoment.cubicThetaPrimeCubeHecke_fourier_primefree line 48