Grassmann Gaussian integral (source code)

= Grassmann Gaussian integral

A Grassmann Gaussian integral satisfies $\int D\bar\psi D\psi\,e^{-\bar\psi A\psi}=\det A$. Adding Grassmann sources and completing the square produces an exponent containing $A^{-1}$.