Registry · Definition II.D78 tau-effective formalized

II.D78 — τ-Connection

A connection on the primorial tower: a transport operator Γ_k(x,v) = (x+v) mod M_k at each stage, satisfying tower compatibility. The canonical flat connection uses additive transport.

Book II Part 10 Ch. 55

Dependency Graph

Depends on (2)

II.D62 II.D63

Depended on by (5)

II.D79 II.D80 II.D81 II.P16 II.T50

Lean Formalization

Module: TauLib.BookII.Closure.Connection

Symbol: TauConnection