Adam's Theorem 2
Open
◈
no reward yet — be the first to pledge
Theorem
theorem my_identity {α : Type} (a : α) : a = a :=
No proof yet — be the first!
Pledge a reward
theorem my_identity {α : Type} (a : α) : a = a :=
No proof yet — be the first!