Demonstrations for the theory of proveit.physics.quantum.QFT

import proveit
from proveit.numbers import one, two, num
from proveit.physics.quantum.QFT import InverseFourierTransform
%begin demonstrations

InverseFourierTransform(two)

print(InverseFourierTransform(two))

FT^{dag}_{2}

%end demonstrations