Manuscript XV-F@3 · XV-F-v3.tex · lemma · d4e74afa

Lemma: The fiber map is minus the trace reversal

Source manifest (Gate F0) › Verification of the reproduced displays · lines 1104–1116 · proof included or linked

XV-F@3#lem:fiber

Back to manuscript

For symmetric , with as in (eq:a1), , where is XII-B's trace reversal. is symmetric in and in , and .

Proof. . The symmetries are read off from (eq:a1).

Nearby in this section