path: root/test/phase5/exact-induction-ambiguous.tex

\begin{proposition}\label{phase5_ambiguous_set_induction}
    Let $A,B$ be sets.
    Then $A=A$.
\end{proposition}
\begin{proof}[Proof by \in-induction]
    Follows.
\end{proof}