Documentation
SpherePacking
.
MagicFunction
.
a
.
SpecialValues
Search
return to top
source
Imports
Init
SpherePacking.MagicFunction.a.Schwartz
Imported by
MagicFunction
.
a
.
SpecialValues
.
a_zero
source
theorem
MagicFunction
.
a
.
SpecialValues
.
a_zero
:
FourierEigenfunctions.a
0
=
-
8640
*
Complex.I
/
↑
Real.pi