Registry · Definition II.D65 established formalized

II.D65 — Proto-Rationality

A holomorphic function whose spectral coefficients have finite support and lie in the canonical basis. The algebraic prerequisite for the BSD approach.

Book II Part 10 Ch. 56

Dependency Graph

Depends on (3)

II.T40 II.D60 II.D35

Depended on by (1)

II.T46

Lean Formalization

Module: TauLib.BookII.Closure.BSDbridge

Symbol: Tau.BookII.Closure.proto_rational_check