test/phase7/calculation-link-order.tex


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

\begin{proposition}\label{calculation_link_order}
    Let $A,B,C$ be sets.
    $A=C$.
\end{proposition}
\begin{proof}
    \begin{align*}
        A
            &= B
                \\
            &= C
    \end{align*}
    Follows by assumption.
\end{proof}