P

Initializing...

App. B, p. 6 (used in (23), p. 3) — composition of pure-loss channels: Eη ∘ Eη′ = Eηη′ · Prove2Me