Registry · Proposition IV.P154 tau-effective formalized

IV.P154 — Temporal Multiplicative Closure

The weak-gravity cross-coupling equals the product of the two temporal self-couplings: kappa(A,D) = kappa(A;1) * kappa(D;1) = iota_tau(1 - iota_tau). The temporal pair {A, D} is multiplicatively closed, reflecting the completeness of the base tau^1 sector structure.

Book IV Part 1 Ch. 6

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Arena.FiveSectors

Symbol: Tau.BookIV.Arena.TemporalMultiplicativeClosure