Manuscript VII-E@1 · VII-E.tex · section · b713cf3c
Retiming fixed labelled channels
Prescribed kinematics and schedule dependence › Retiming fixed labelled channels · lines 786–792
Records are included in gate supports. The theorem does not move a gate past another gate that reads its record. Nor does it change a geometric parameter while treating the resulting channel as the same labelled gate.