Short five lemma (source code)

= Short five lemma

The <Five lemma> has a short form: 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.