Registry · Definition III.D103 tau-effective formalized

III.D103 — Partition Count at Primorial

r(M_k): Goldbach partition count at primorial levels. r(M_2)=1, r(M_3)=3, r(M_4)>0. Increasing sequence.

Book III Part 10 Ch. 81

Dependency Graph

Depends on (2)

III.D99 III.D95

Depended on by (1)

III.T70

Lean Formalization

Module: TauLib.BookIII.Spectral.GoldbachDeep

Symbol: goldbach_partition_count_at_primorial