Registry · Remark III.R39 tau-effective not_applicable

III.R39 — Export Contracts to Books IV-V

Physics-perspective export contracts to Books IV (Microcosm) and V (Macrocosm), complementing the Hinge-perspective contracts of Ch 62.

Book III Part 8 Ch. 76

Dependency Graph

Depends on (3)

Lean Formalization

Module:

Symbol: