Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Clock and description register
Shared finite Enter certificate interface › Clock and description register · lines 2228–2237
Choose one finite clock , , with basis , and let contain all surviving registers. Put
Displayed formulas in this passage
unlabeled · line 2234