test/phase5/exact-quantified-subject.tex


1
2
3
4
5
6
7
8
9

\import{set.tex}

\begin{proposition}\label{phase5_quantified_subject}
    Then every element of $A$ is an element of $B$.
\end{proposition}

\begin{proposition}\label{phase5_explicit_quantifier}
    Then for all $x\in A$ we have $x\in B$.
\end{proposition}