diff options
Diffstat (limited to 'test/phase5/exact-local-definition.tex')
| -rw-r--r-- | test/phase5/exact-local-definition.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/phase5/exact-local-definition.tex b/test/phase5/exact-local-definition.tex index a1d2fcf..ddbd9d8 100644 --- a/test/phase5/exact-local-definition.tex +++ b/test/phase5/exact-local-definition.tex @@ -8,7 +8,7 @@ \begin{subproof} Fix $x$. Assume $x \in B$. - Follows by assumption. + Follows. \end{subproof} Follows by assumption. \end{proof} |