test/examples/proofassume.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

\begin{proposition}\label{assumetest}
    If $x\in y$, then $x\in y$.
\end{proposition}
\begin{proof}
    Assume $x\in y$.
    Then $x\in y$.
\end{proof}

\begin{proposition}\label{assumetesttwo}
    If $x\in y$ and $a\in b$, then $x\in y$.
\end{proposition}
\begin{proof}
    Assume $a\in b$.
    Assume $x\in y$.
    Then $x\in y$.
\end{proof}