Theorem Fourier.fourierIntegral_smul_const

Modification history