Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b
The six placements and the nonconstant outputs
The six placements and the nonconstant outputs · lines 679–696
IX-C@1#eq:self
Put
IX-A admits the scalar-contracted sharp self-product
This is inherited, not a second-stage closure theorem
IXA (prop:knownoutputs, item 2).
Displayed formulas in this passage
IX-C@1#eq:self · line 688
unlabeled · line 683