test/phase5/exact-case-failure.tex


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

\begin{proposition}\label{case_failure_exact}
    Let $A$ be a set.
    $A=A$.
\end{proposition}
\begin{proof}
    \begin{byCase}
    \caseOf{$A=\emptyset$.}
        Follows.
    \caseOf{$A=\{A\}$.}
        Follows.
    \caseOf{$A=\{\emptyset\}$.}
        Follows.
    \end{byCase}
\end{proof}