Goursat's lemma (source code)

= Goursat's lemma
{wiki=Goursat's_lemma}