diff options
Diffstat (limited to 'test/phase5/exact-separation.tex')
| -rw-r--r-- | test/phase5/exact-separation.tex | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/phase5/exact-separation.tex b/test/phase5/exact-separation.tex index e5b23a6..5b7e39d 100644 --- a/test/phase5/exact-separation.tex +++ b/test/phase5/exact-separation.tex @@ -3,10 +3,9 @@ \end{definition} \begin{proposition}\label{phase5_separation_theorem} - For all $A, x$ we have if $x \in \{ y \in A \mid y = y \}$, then $x \in A$. + For all $A, x$ we have if $x \in \phasefiveseparation{A}$, then $x \in A$. \end{proposition} \begin{proof} Fix $A, x$. - Assume $x \in \{ y \in A \mid y = y \}$. - Follows by assumption. + Assume $x \in \phasefiveseparation{A}$. \end{proof} |