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.