Registry · Definition II.D51 established formalized

II.D51 — Code Map

A pair of bipolar boundary coefficient streams recording spectral data at successive primorial stages. Encodes a holomorphic function via its boundary.

Book II Part 7 Ch. 41

Dependency Graph

Depends on (4)

II.D45 II.D46 II.L07 I.D21

Depended on by (2)

II.D52 II.T35

Lean Formalization

Module: TauLib.BookII.Regularity.CodeDecode

Symbol: code_extract