From e0efab574d4ce13a1441d04eb5db9402b7e513a6 Mon Sep 17 00:00:00 2001 From: Benedict Eastaugh Date: Sat, 31 Oct 2026 12:31:20 +0000 Subject: [PATCH] Fix typo in methods/proofs/inference-patterns. --- content/methods/proofs/inference-patterns.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/methods/proofs/inference-patterns.tex b/content/methods/proofs/inference-patterns.tex index f5401182..fe706a87 100644 --- a/content/methods/proofs/inference-patterns.tex +++ b/content/methods/proofs/inference-patterns.tex @@ -288,7 +288,7 @@ \subsection{Using Existence Claims} indicate this by going from ``for some $x$, $x \in A$'' to ``Let $a \in A$.'' Now you can reason about~$a$, use some other hypotheses, etc., until you come to a conclusion, $p$. If $p$ no longer mentions~$a$, $p$ is -independent of the asusmption that $a \in A$, and you've shown that it +independent of the assumption that $a \in A$, and you've shown that it follows just from the assumption ``for some $x$, $x \in A$.'' \begin{prop}