Manuscript XIII-E@1 · XIII-E.tex · input · 74eaba48
Input statement: Classical completion boundary
Copied prerequisite sheet › XIII-A and XIII-D · lines 361–372
On the detecting data, every shell-descending action in induces the zero representation, and the pairing is nonzero on
The ending is Proved obstructed for that class only. The admitted cochain is not an integrated completion XIIID.
Displayed formulas in this passage
unlabeled · line 365