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>.