Special Values of a

This file records special values of the function a.

theorem MagicFunction.a.SpecialValues.a_zero : FourierEigenfunctions.a 0 = -8640 * Complex.I / ↑Real.pi