Registry · Definition III.D104 tau-effective formalized

III.D104 — Goldbach Obstruction

Obstruction at prime p for even n: |O_p(n)|=1 if p|n, 0 otherwise. Each prime blocks at most one Goldbach pair.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D95

Depended on by (1)

III.T71

Lean Formalization

Module: TauLib.BookIII.Spectral.GoldbachDeep

Symbol: goldbach_obstruction_count