diff options
Diffstat (limited to 'test/phase5/exact-quantified-subject-nested.tex')
| -rw-r--r-- | test/phase5/exact-quantified-subject-nested.tex | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/test/phase5/exact-quantified-subject-nested.tex b/test/phase5/exact-quantified-subject-nested.tex deleted file mode 100644 index 69bed48..0000000 --- a/test/phase5/exact-quantified-subject-nested.tex +++ /dev/null @@ -1,9 +0,0 @@ -\import{set.tex} - -\begin{definition}\label{phase5_contains} - $A$ contains $B$ iff $B\in A$. -\end{definition} - -\begin{proposition}\label{phase5_nested_quantified_subject} - Then $A$ contains every set. -\end{proposition} |