Registry · Lemma IV.L8 tau-effective formalized

IV.L8 — Winding Preservation

Winding Preservation Lemma: any admissible endomorphism phi in HolEnd_tau compatible with the C-sector preserves the total eta-winding class modulo 3, ensuring baryon number conservation under all physically realizable processes.

Book IV Part 5 Ch. 39

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.WindingPreservation