Registry · Theorem IV.T83 tau-effective formalized

IV.T83 — Exactly three generations

The lemniscate L = S^1 v S^1 supports exactly three topologically distinct mode classes (crossing-point, single-lobe, full-lemniscate) and no fourth class exists, because L has exactly three structurally distinct regions: the crossing point, a single lobe, and the full figure.

Book IV Part 6 Ch. 46

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.ExactlyThreeGenerations