Manuscript Em03-B@2 · Em03-B-v2.tex · section · c1a0977d
A direct pure-loss benchmark
B4 capture: an explicit passive input–output interaction › A direct pure-loss benchmark · lines 1118–1123
This lemma is used only after the independent vacuum-environment reduction has been established by Specification spec:capture. It is not applied directly to unselected radiation.