Documentation

SpherePacking.ForMathlib.Radial

Radial Functions #

The purpose of this file is to include some results on radial functions. The main result is that the Fourier transform applied twice to a radial function gives back the function.