Martin Thoma 70f383ec49 Add example for theorem environment 9 år sedan
..
Makefile 70f383ec49 Add example for theorem environment 9 år sedan
prove-transform-random-variable-theorem.pdf 70f383ec49 Add example for theorem environment 9 år sedan
prove-transform-random-variable-theorem.tex 70f383ec49 Add example for theorem environment 9 år sedan