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