OAI/NumberTheory/CubicMoment/Theta/CubicThetaHorizontalPeriodFourier.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The exact nonzero Fourier coefficient of finite lattice periodization.

  1. theorem OAI.CubicFirstMoment.cubicThetaHorizontalPeriodization_fourier line 11