Registry · Theorem IV.T214 tau-effective not_applicable

IV.T214 — Anomaly Cancellation as Naturality Requirement

Naturality of τ³ diagram category requires ΣY=0 (SU(2)²×U(1)) and ΣY³=0 (U(1)³). Anomaly-free = naturality-preserving; structural necessity, not fine-tuning.

Book IV Part 8 Ch. 72

Dependency Graph

Depends on (2)

Lean Formalization

Module: