Theorem ZMod.dft_mul_const

Modification history