Manuscript En05-C@1 · En05-C.tex · section · aa213ea6
A general finite event sequence
Stage F: ancestry, matched replacements, and metric bounds › A general finite event sequence · lines 1548–1553
This formulation uses declared algebras at the successive cuts. It does not assert that every arbitrary graph of regional UCP maps has a uniquely defined global wiring operation.