Registry · Theorem IV.T02 tau-effective formalized

IV.T02 — Temporal Multiplicative Closure

κ(A,D) = κ(A;1)·κ(D;1): the temporal cross-coupling is exactly the product of the two temporal self-couplings. The temporal pair is multiplicatively closed.

Book IV Part 8 Ch. 67

Dependency Graph

Depends on (3)

IV.D05 IV.D06 IV.D07

Depended on by (3)

IV.D121 IV.T53 IV.T61

Lean Formalization

Module: TauLib.BookIV.Sectors.CouplingFormulas

Symbol: Tau.BookIV.Sectors.temporal_multiplicative