OAI/NumberTheory/CubicMoment/Theta/CubicThetaScatteringRegularResidue.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Away from 4/3, the constant cusp observation of every real spectral residue vanishes. This alone does not assert vanishing of the full residue.

  1. theorem OAI.CubicFirstMoment.cubicThetaSpectralResidue_constant_zero line 11