Manuscript I-B@1 · I-B-v1.tex · section · 5357688f
The clock instrument
Finite names, access, control, and destructive Enter › The clock instrument · lines 492–498
Theorem thm:instrument is the finite interface used in En09-A; its conditioning block is not, merely by its form, a metric or a stress tensor CheungEn09.