blob: 8fd1e711d05133e31af134472275fa02e77037e4 (
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
|
\begin{proposition}\label{prop1}
$a = a$.
\end{proposition}
\begin{proposition}\label{prop2}
$b = b$.
\end{proposition}
\begin{proposition}\label{prop3}
$c = c$.
\end{proposition}
\begin{proof}
Follows by \ref{prop1}. % Should filter out second_proposition
\end{proof}
\begin{proposition}\label{prop4}
$e = e$.
\end{proposition}
\begin{proof}
For all $d$ we have $d = d$ by \ref{prop1}.
\end{proof}
\begin{proposition}\label{prop5}
$f = f$.
\end{proposition}
|
