Manuscript En05-B@1 · En05-B.tex · section · 8b626460
The principal existence statement
Introduction, target, and scope › The principal existence statement · lines 171–176
A causal finite circuit and its local operational completion are defined precisely in Sections sec:experiments and sec:completion.