Registry · Theorem V.T51 tau-effective formalized

V.T51 — Spectral Distance --- IV.T11

The spectral distance between adjacent lemniscate sectors on L = S^1 v S^1 is sqrt(3) = |1 - omega| where omega = e^{2 pi i/3} is the primitive cube root of unity. The three sectors are the chi_+ lobe, chi_- lobe, and the crossing point.

Book V Part 2 Ch. 20

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.GravityField.ClosingIdentity

Symbol: Tau.BookV.GravityField.SpectralDistanceIvt11