From dd309809e2c4f88c53002b42eddb93837ae05cda Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 15 Aug 2021 19:52:03 +0900
Subject: pigeonhole: Fix a name of theorem.

---
 pigeonhole.lisp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pigeonhole.lisp b/pigeonhole.lisp
index 4be756b..91c221f 100644
--- a/pigeonhole.lisp
+++ b/pigeonhole.lisp
@@ -142,7 +142,7 @@
                                   (x x)))))
 (in-theory (disable duplicates-nats))
 
-(defthm number-of-hairs-are-duplicates-in-gunma
+(defthm numbers-of-hairs-are-duplicates-in-gunma
   (let ((max-number-of-hairs 250000)
         (gunma-population 2000000))
     (implies (and (subsetp x (nats-below max-number-of-hairs))
-- 
cgit v1.2.3