From faef0100953449a4f85cc40c073d49d7eb39918a Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 17 Aug 2022 15:53:25 +0900
Subject: factorial: 無駄な空白を削除
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 factorial.lisp | 2 --
 1 file changed, 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)))
-
-
-- 
cgit v1.2.3