From 672e0720724ed7f5923d50221511a5214b95e6ce Mon Sep 17 00:00:00 2001 From: Istvan Chung Date: Wed, 29 Jun 2016 13:25:48 -0400 Subject: [PATCH] fix typo --- frap_book.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frap_book.tex b/frap_book.tex index a33b9f8..8cceb88 100644 --- a/frap_book.tex +++ b/frap_book.tex @@ -3254,7 +3254,7 @@ We start by matching $\ptsto{p}{q}$ with $\ptsto{p}{?a}$, learning that $?a = q$ This crucial step relies on the three key properties of $*$, given in the second row of rules above: commutativity, associativity, and cancellativity\index{cancellativity}. $$\ptsto{q}{r} * \ptsto{r}{0} \Rightarrow \; \ptsto{?b}{?c} \; * \; \ptsto{q}{?b}$$ -We run another cancellation step of $\ptsto{q}{r}$ against $\ptsto{q}{?b}$, learning $?q = r$. +We run another cancellation step of $\ptsto{q}{r}$ against $\ptsto{q}{?b}$, learning $?b = r$. $$\ptsto{r}{0} \Rightarrow \; \ptsto{r}{?c}$$ Now we can finish the proof by reflexivity of $\Rightarrow$, learning $?c = 0$.