Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b

Actual-functional descent of the second stage

Actual-functional descent of the second stage · lines 852–862

For presentation maps on both arguments, the analogous condition is vanishing on

(ker v) \otimes E^{'} + E \otimes (ker v^{'}) .

This follows by applying Theorem thm:descent twice.

Displayed formulas in this passage