OAI/NumberTheory/CubicMoment/Theta/CubicThetaPrimeCubeInteriorFourier.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Away from the initial two valuation classes, the cubic Hecke action is the exact inward/outward recurrence on actual section Fourier modes.

  1. theorem OAI.CubicFirstMoment.cubicThetaPrimeCubeHecke_fourier_interior line 10