blob: 68d565a1c3424fefd29ea9ee0d28d925021efdc4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
\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}
|
