Registry · Definition III.D62 tau-effective formalized

III.D62 — BSD Functional

BSD_τ(k) = rank(k) · L’_τ(1,k); measures proto-code density at each primorial level

Book III Part 6 Ch. 46

Dependency Graph

Depends on (3)

III.D59 III.D60 III.D61

Depended on by (2)

III.P26 III.T35

Lean Formalization

Module: TauLib.BookIII.Arithmetic.ProtoCodes

Symbol: bsd_functional_check