Goursat's lemma: Difference between revisions