\import{test/html-fixtures/imported-preview.tex}

\begin{proposition}\label{local_prop}
    $a = a$.
\end{proposition}

\begin{proposition}\label{uses_refs}
    $b = b$.
\end{proposition}
\begin{proof}
    Follows by \cref{local_prop,imported_prop}.
\end{proof}

\begin{proposition}\label{calc_refs}
    $c = c$.
\end{proposition}
\begin{proof}
    \begin{align*}
        c
            &= c
                \\
            &= c
                \explanation{by \cref{local_prop}}
    \end{align*}
\end{proof}

\begin{proposition}\label{group_source}
    $d = d$.
\end{proposition}

\begin{proposition}\label{many_refs}
    $e = e$.
\end{proposition}
\begin{proof}
    Follows by \cref{local_prop,uses_refs,calc_refs,group_source,imported_prop}.
\end{proof}