Manuscript VII-G@1 · VII-G.tex · section · 54f561e8
Observable linear spaces
Observation boundaries and stochastic histories › Observable linear spaces · lines 541–547
This is the direct-sum specialization of VII-E's composition
principle and block-diagonal refinement, proved here without an
ambient pinching notation CheungVIIE (Theorem thm:composition
and Proposition prop:classical-composition).