Manuscript En09-A@1 · En09-A.tex · section · eafec9de
The imported Enter characterization
Frozen native data and measurement semantics › The imported Enter characterization · lines 387–393
Thus the density-operator channel used below is a consequence of the imported semantics when Hypothesis hyp:enter applies. Independently, it is an explicitly specified finite quantum instrument.