Registry · Proposition IV.P179 tau-effective formalized

IV.P179 — E₁ Page Derivation of α-Coefficient

The (8/15)·(121/120) factorization is a COROLLARY of the tensor-square density 121/225. The tensor square produces 121/225 in one computation; the Euler sieve (8/15) and twin prime residue (121/120) are algebraic projections of this single density.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Sectors.SpectralPage

Symbol: Tau.BookIV.Sectors.SpectralPage.tensor_equals_sieve_times_correction