BRST Ward identity (source code)

= BRST Ward identity
{c}

For a BRST-invariant action and <functional measure>, the expectation of a BRST-exact insertion vanishes: $\langle QX\rangle=0$, subject to anomaly and boundary qualifications.