Manuscript En05-C@1 · En05-C.tex · section · aa213ea6
Stage E: one-layer locality without product channels
Stage E: one-layer locality without product channels · lines 1340–1345
Membership in (eq:enlargement) follows from multiplication inside the declared algebra. It is not inferred solely from (eq:exteriorfix).