Definition, synonyms and related words
A particular lemma that claims the existence of a particular isomorphism in a commutative diagram given certain other homomorphisms in the diagram.