Prefer a chat interface with context about you and your work?
Local BRST cohomology in the antifield formalism: I. General theorems