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

Back to manuscript

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