Documentation

SpherePacking.MagicFunction.b.SpecialValues

Special Values of b #

This file records special values of the function b.

source
theorem MagicFunction.b.SpecialValues.b_zero :
FourierEigenfunctions.b 0 = 0