Short five lemma (source code)

= Short five lemma
{wiki=Five_lemma#The_short_five_lemma}

In a commutative diagram of short exact sequences, if the maps on both outer terms are isomorphisms, then the map on the middle terms is an isomorphism.