Registry · Lemma VI.L11 tau-effective planned

VI.L11 — Primorial Ladder Convergence

Lift_ω approximations c_k/P_k converge superexponentially to ι_τ; bound |c_k/P_k − ι_τ| ≤ 1/(2p_{k+1}). Coherent projective system.

Book VI Part 7 Ch. 45

Dependency Graph

Depends on (1)

VI.D61

Lean Formalization

Module: TauLib.BookVI.CosmicLife.CrossLimit

Symbol: Tau.BookVI.CrossLimit.PrimorialLadderConvergence