path: root/test/phase5/exact-proof-parity-invalid-assume.tex

\begin{proposition}\label{invalid_disjunct_assume}
    Let $A,B$ be sets.
    $A=A$ or $B=B$.
\end{proposition}
\begin{proof}
    Assume $A=A$.
    Follows.
\end{proof}