diff options
Diffstat (limited to 'factorial.lisp')
-rw-r--r-- | factorial.lisp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/factorial.lisp b/factorial.lisp index d51157a..e649a78 100644 --- a/factorial.lisp +++ b/factorial.lisp @@ -34,5 +34,3 @@ (defthm factorial-tail-factorial (equal (factorial-tail n 1) (factorial n))) - - |