Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a
A named observable is a different task
A named observable is a different task · lines 591–596
Observable-algebra correction has a broader established theory BenyKempfKribs. We use only the explicitly proved effect and bounded-observable statements above.