Critical pair lemma

Redirect to:

• Critical pair (term rewriting)#Critical pair lemma