Martin Thoma 70f383ec49 Add example for theorem environment 9 年之前
..
Makefile 70f383ec49 Add example for theorem environment 9 年之前
prove-transform-random-variable-theorem.pdf 70f383ec49 Add example for theorem environment 9 年之前
prove-transform-random-variable-theorem.tex 70f383ec49 Add example for theorem environment 9 年之前