aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--pigeonhole.lisp2
1 files changed, 1 insertions, 1 deletions
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))