diff options
| author | Thibaut Horel <thibaut.horel@gmail.com> | 2013-07-02 16:01:49 +0200 |
|---|---|---|
| committer | Thibaut Horel <thibaut.horel@gmail.com> | 2013-07-02 16:01:49 +0200 |
| commit | 1bd9da9fc37dc4f659a261ff65914feef1ef64f0 (patch) | |
| tree | 1d74e72e52fdd708a77e75c8abf1240b7dbd722d /proofs.tex | |
| parent | c569d13f707706c49aea4cdd3635a0f73ed38f86 (diff) | |
| download | recommendation-1bd9da9fc37dc4f659a261ff65914feef1ef64f0.tar.gz | |
Rewrite the hand-wavy induction
Diffstat (limited to 'proofs.tex')
| -rw-r--r-- | proofs.tex | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/proofs.tex b/proofs.tex deleted file mode 100644 index e69de29..0000000 --- a/proofs.tex +++ /dev/null |