Grassmann Gaussian integral (source code)

= Grassmann Gaussian integral
{c}

= Fermionic Gaussian integral
{synonym}

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}$.