Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · lemma · 9674ac67

Lemma: The candidate fiber map

Patch 3: coefficient instantiation (Q3) › The fiber map and b 1 · lines 1107–1122 · proof included or linked

XV-F-patch-ii@1#lem:fiber

Back to manuscript

For symmetric , . As an endomorphism of , ; so is invertible of rank ten, and .

Proof. by symmetry. , using . The trace identity is .

Nearby in this section