Registry · Definition IV.D42 tau-effective formalized

IV.D42 — Lemniscate Three-Fold

Three distinguished supports on L = S¹∨S¹: {Lobe₁, Lobe₂, Crossing}. Regular simplex in spectral metric with pairwise distance √3.

Book IV Part 3 Ch. 23

Dependency Graph

Depends on (1)

I.D18

Depended on by (2)

IV.D43 IV.T11

Lean Formalization

Module: TauLib.BookIV.Physics.LemniscateCapacity

Symbol: Tau.BookIV.Physics.LemniscateThreeFold