this is for holding javascript data
Vadim Kosoy added To_prove_theorem_ref_thm__.tex
about 8 years ago
Commit id: 0b5f2542cfa18cc440bd82b58d1a62f0282d7ccc
deletions | additions
diff --git a/To_prove_theorem_ref_thm__.tex b/To_prove_theorem_ref_thm__.tex
new file mode 100644
index 0000000..b65ed5c
--- /dev/null
+++ b/To_prove_theorem_ref_thm__.tex
...
To prove theorem~\ref{thm:ort}, we will need the following proposition:
\begin{proposition}
MOO
\end{proposition}
\begin{proof}
FOO
\end{proof}