Registry · Remark IV.R93 tau-effective not_applicable

IV.R93 — Why only three, not more

Exactly three topologically distinct mode classes exist on L = S^1 v S^1 because L has exactly three structurally distinct regions: crossing point, single lobe, and full figure. A bouquet of k circles would give k+1 classes, but the lemniscate has k=2, giving 3.

Book IV Part 5 Ch. 43

Lean Formalization

Module:

Symbol: