Theorem ZMod.dft_eq_fourier

Modification history