Registry · Definition III.D27 tau-effective formalized

III.D27 — Functional Equation Involution J

The involution J(s) = 1 − s̄ on the split-complex s-plane. Exchanges B-lobe and C-lobe: J swaps e₊ and e₋ components. The functional equation ζ_τ(s) = C(s)·ζ_τ(J(s)) is the bipolar symmetry statement.

Book III Part 4 Ch. 22

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Doors.SplitComplexZeta

Symbol: fe_involution