diff options
Diffstat (limited to 'test/phase5/exact-separation.tex')
| -rw-r--r-- | test/phase5/exact-separation.tex | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/phase5/exact-separation.tex b/test/phase5/exact-separation.tex index e5b23a6..82f4263 100644 --- a/test/phase5/exact-separation.tex +++ b/test/phase5/exact-separation.tex @@ -8,5 +8,4 @@ \begin{proof} Fix $A, x$. Assume $x \in \{ y \in A \mid y = y \}$. - Follows by assumption. \end{proof} |