493 
2019/09/08 21:08:04

Definitions of injectivity

efk 
Failure 


492 
2019/09/08 21:07:35

Multiplication in F_2 is idempotent

okaduki 
Success 


491 
2019/09/08 20:55:08

Multiplication in F_2 is idempotent

drafear 
Success 


490 
2019/09/08 20:54:17

Identity permutation

satos 
Success 


489 
2019/09/08 20:52:05

Identity permutation

pekempey 
Success 


488 
2019/09/08 20:51:22

Definitions of injectivity

cympfh 
Success 


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 

