Manuscript XII-F@1 · XII-F.tex · lemma · 54cb3169

Lemma: The shell rewriting

F1: the sheet and the four-row ledger · lines 572–585 · proof included or linked

XII-F@1#lem:shell

Back to manuscript

On ,

Proof. . For the compact tensor , by the flat adjoint identity.

Displayed formulas in this passage

  • unlabeled · line 575

Nearby in this section