Registry · Theorem IV.T213 established not_applicable

IV.T213 — ABJ Chiral Anomaly

∂_μ j^μ_5 = (α/4π) F_{μν} F̃^{μν}. Triangle diagram (AVV) with trace Tr[T^a {T^b, T^c}] determines anomalous gauge groups.

Book IV Part 8 Ch. 72

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: