diff options
Diffstat (limited to 'test/phase5/exact-contradiction-goal.tex')
| -rw-r--r-- | test/phase5/exact-contradiction-goal.tex | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/test/phase5/exact-contradiction-goal.tex b/test/phase5/exact-contradiction-goal.tex deleted file mode 100644 index 007683f..0000000 --- a/test/phase5/exact-contradiction-goal.tex +++ /dev/null @@ -1,7 +0,0 @@ -\begin{proposition}\label{phase5_invalid_contradiction} - For all $A$ we have $A = A$. -\end{proposition} -\begin{proof} - Fix $A$. - Contradiction. -\end{proof} |