Theorem ZMod.invDFT_apply'

Modification history