Recent content by epsilon-

Thank you, that puts me on the trail.

It can be used for that application, but the actual statement of the theorem just relates time-ordered operator products to normal-ordered operator products and contractions. I'm not seeing why the operators in question have to be free-field.

I'm not quite following why Wick's Theorem only applies to free fields. What part of the argument depends on a free field assumption?