Registry · Definition II.D52 established formalized

II.D52 — Decode Map

The map reconstructing a tau-holomorphic function from a bipolar boundary coefficient stream via stage expansion, idempotent assembly, and limit.

Book II Part 7 Ch. 41

Dependency Graph

Depends on (6)

II.D51 II.D45 II.D46 II.D47 II.T32 I.T31

Depended on by (1)

II.T35

Lean Formalization

Module: TauLib.BookII.Regularity.CodeDecode

Symbol: decode_reconstruct