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
On ,
Proof. . For the compact tensor , by the flat adjoint identity.
Displayed formulas in this passage
unlabeled · line 575