Manuscript IX-A-ST@1 · IX-A-ST.tex · section · 6e99d1b2
Complete clock instrument
Finite evaluation tables and one destructive clock › Complete clock instrument · lines 1471–1478
This is the finite interface compared with I-B, VI-B, En09-A, and the observation sheets CheungIB,CheungVIB,CheungEn09,CheungObservation. The proof is a complete finite-instrument calculation Watrous.