diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-15 19:52:03 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-08-15 19:52:03 +0900 |
| commit | dd309809e2c4f88c53002b42eddb93837ae05cda (patch) | |
| tree | 827a5b2e22ea888a5859167582fb603edd4a2028 | |
| parent | 14775ccc8daf54118a8d613bfb5053a1323a41d5 (diff) | |
pigeonhole: Fix a name of theorem.
| -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)) |