Registry · Remark IV.R52 tau-effective not_applicable

IV.R52 — The gauge group is derived, not postulated

In Category tau the gauge group SU(3) is derived, not postulated: three colors arise from the three distinguished supports {Lobe_1, Lobe_2, Crossing} on the lemniscate and the depth-3 structure of the eta-generator.

Book IV Part 5 Ch. 37

Lean Formalization

Module:

Symbol: