Registry · Definition I.D39 tau-effective formalized

I.D39 — Crossing Point

Where the two lobes of L meet (algebraic version). The crossing point is where B-sector and C-sector intersect; not a smooth point. Geometric S^1 v S^1 emerges in Book II.

Book I Part 11 Ch. 45

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookI.Boundary.Fourier

Symbol: Tau.Boundary.crossing_point