Manuscript IX-Free-2@1 · IX-Free-2.tex · corollary · abb2397a
Corollary: Evaluation of the copied relation equation
Gate K: restricted sharp separation and kernel evaluation · lines 897–909 · proof included or linked
IX-Free-2@1#cor:Pevaluated
For the algebraic presentation tensors of this paper,
The exchanged right equation has the same conclusion.
Proof. Combine (eq:Prelation) with Theorem thm:pinjective.
Displayed formulas in this passage
unlabeled · line 900
Nearby in this section
- section: Gate K: restricted sharp separation and kernel evaluation
- lemma: Lemma: Restricted sharp-generator separation
- section: Gate K: restricted sharp separation and kernel evaluation
- theorem: Theorem: Injectivity of the degree-four presentations
- section: Gate K: restricted sharp separation and kernel evaluation