Registry · Remark IV.R53 tau-effective not_applicable

IV.R53 — Why three and not two

The B-sector (EM, depth 2) has binary charge structure Z/2Z (one charge type, two signs), while the C-sector (Strong, depth 3) has ternary charge structure Z/3Z (three charge types); the number of charge species is controlled by primorial depth.

Book IV Part 5 Ch. 38

Lean Formalization

Module:

Symbol: