Theorem ZMod.dft_comp_neg

Modification history