487 |
2019/09/08 20:47:35
|
Identity permutation
|
sorata |
Success |
|
|
486 |
2019/09/08 20:45:16
|
Identity permutation
|
sorata |
Failure |
|
|
485 |
2019/09/08 20:43:39
|
Multiplication in F_2 is idempotent
|
kimiyuki |
Success |
|
|
484 |
2019/09/08 20:36:35
|
Multiplication in F_2 is idempotent
|
satos |
Success |
|
|
483 |
2019/09/08 20:35:30
|
Multiplication in F_2 is idempotent
|
muratak |
Success |
|
|
482 |
2019/09/08 20:31:57
|
Definitions of injectivity
|
drafear |
Success |
|
|
481 |
2019/09/08 20:25:47
|
Identity permutation
|
kaz |
Success |
|
|
480 |
2019/09/08 20:25:46
|
Multiplication in F_2 is idempotent
|
sorata |
Success |
|
|
479 |
2019/09/08 20:25:16
|
Summand of one
|
siotouto |
Success |
|
|
478 |
2019/09/08 20:24:41
|
Multiplication in F_2 is idempotent
|
pekempey |
Success |
|
|
477 |
2019/09/08 20:24:19
|
Summand of one
|
efk |
Success |
|
|
476 |
2019/09/08 20:20:41
|
Summand of one
|
spica314 |
Success |
|
|
475 |
2019/09/08 20:18:29
|
Summand of one
|
coorde |
Success |
|
|
474 |
2019/09/08 20:17:04
|
Summand of one
|
coorde |
Failure |
|
|
473 |
2019/09/08 20:15:34
|
Multiplication in F_2 is idempotent
|
kaz |
Success |
|
|
472 |
2019/09/08 20:14:54
|
Definitions of injectivity
|
sorata |
Success |
|
|
471 |
2019/09/08 20:12:59
|
Definitions of injectivity
|
sorata |
Failure |
|
|
470 |
2019/09/08 20:12:52
|
Definitions of injectivity
|
kkob |
Success |
|
|
469 |
2019/09/08 20:11:41
|
Definitions of injectivity
|
kimiyuki |
Success |
|
|
468 |
2019/09/08 20:11:06
|
Definitions of injectivity
|
muratak |
Success |
|
|
467 |
2019/09/08 20:10:30
|
Definitions of injectivity
|
satos |
Success |
|
|
466 |
2019/09/08 20:09:51
|
Summand of one
|
prime |
Success |
|
|
465 |
2019/09/08 20:08:16
|
Summand of one
|
cympfh |
Success |
|
|
464 |
2019/09/08 20:08:07
|
Multiplication in F_2 is idempotent
|
kkob |
Success |
|
|
463 |
2019/09/08 20:07:04
|
Definitions of injectivity
|
pekempey |
Success |
|
|
462 |
2019/09/08 20:06:49
|
Definitions of injectivity
|
kaz |
Success |
|
|
461 |
2019/09/08 20:05:37
|
Summand of one
|
sorata |
Success |
|
|
460 |
2019/09/08 20:03:37
|
Summand of one
|
kimiyuki |
Success |
|
|
459 |
2019/09/08 20:02:56
|
Summand of one
|
drafear |
Success |
|
|
458 |
2019/09/08 20:02:54
|
Summand of one
|
okaduki |
Success |
|
|
457 |
2019/09/08 20:02:29
|
Summand of one
|
satos |
Success |
|
|
456 |
2019/09/08 20:01:23
|
Summand of one
|
kkob |
Success |
|
|
455 |
2019/09/08 20:01:20
|
Summand of one
|
kaz |
Success |
|
|
454 |
2019/09/08 20:01:17
|
Summand of one
|
muratak |
Success |
|
|
453 |
2019/09/08 20:00:44
|
Summand of one
|
pekempey |
Success |
|
|
452 |
2019/09/08 18:22:29
|
Identity permutation
|
kozima |
Success |
|
|
451 |
2019/09/08 18:22:07
|
Multiplication in F_2 is idempotent
|
kozima |
Success |
|
|
450 |
2019/09/08 18:21:27
|
Definitions of injectivity
|
kozima |
Success |
|
|
449 |
2019/09/08 18:20:38
|
Summand of one
|
kozima |
Success |
|
|
448 |
2019/09/05 01:14:15
|
forall l: list nat, l @ [0] <> []
|
cympfh |
Success |
|
|
447 |
2019/09/03 20:55:59
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Success |
|
|
446 |
2019/09/03 20:51:57
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Success |
|
|
445 |
2019/09/03 20:43:18
|
forall f: bool -> bool, f^3(x) = f(x)
|
cympfh |
Failure |
|
|
444 |
2019/09/03 20:36:23
|
1 + 1 = 2
|
cympfh |
Success |
|
|
443 |
2019/09/03 20:35:22
|
plus_comm
|
cympfh |
Success |
|
|
442 |
2019/09/03 20:32:23
|
plus_assoc
|
cympfh |
Success |
|
|
441 |
2019/09/03 20:25:26
|
Product of n consecutive integers is divisible by n!
|
cympfh |
Success |
|
|
440 |
2019/09/03 20:19:03
|
Product of n consecutive integers is divisible by n!
|
cympfh |
Failure |
|
|
439 |
2019/09/03 15:06:03
|
n * S m = n + n * m
|
cympfh |
Success |
|
|
438 |
2019/09/03 15:02:43
|
n < m \/ n = m \/ n > m
|
cympfh |
Success |
|
|