diff options
Diffstat (limited to 'pigeonhole.lisp')
| -rw-r--r-- | pigeonhole.lisp | 2 |
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)) |