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
For symmetric , . As an endomorphism of , ; so is invertible of rank ten, and .
Proof. by symmetry. , using . The trace identity is .