An intramural isomorphism

Nov 30, 2024 11:27 PM

Suppose the diagram below is part of a double-complex in an abelian category and is vertically exact at B; i.e., ker(f)=0:

Use the Salamander Lemma to prove that AAvert and AhorA.