Registry · Definition IV.D161 tau-effective formalized

IV.D161 — Baryon number

Baryon number B(Psi) := (1/3) sum_j n_j is the total net eta-winding divided by 3, where n_j is the eta-winding of constituent psi_j; for a baryon with {c_1,c_2,c_3} = {0,1,2}, B = 1.

Book IV Part 5 Ch. 39

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.BaryonNumber