Theorem fourier_eval_zero

Modification history