theorem
Theorem 19.16
First-component contextual separation
Theorem 19.16 (First-component contextual separation). For every , In particular, for .
theorem
First-component contextual separation
Theorem 19.16 (First-component contextual separation). For every , In particular, for .