Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Gate K: restricted sharp separation and kernel evaluation
Gate K: restricted sharp separation and kernel evaluation · lines 773–778
The restricted separation lemma can be proved without a general range theorem for .
Nearby in this section
- lemma: Lemma: Restricted sharp-generator separation
- section: Gate K: restricted sharp separation and kernel evaluation
- theorem: Theorem: Injectivity of the degree-four presentations
- corollary: Corollary: Evaluation of the copied relation equation
- section: Gate K: restricted sharp separation and kernel evaluation