Registry · Remark VII.R02 established not_applicable

VII.R02 — E₃ Import Contract

Receives six formal deliverables from Book VI and five additional imports from Books I–V; defines the complete E₃ input interface.

Book VII Part 0 Ch. 2

Dependency Graph

Depended on by (1)

Lean Formalization

Module:

Symbol: