Ben's Theorem 1 solved
Solved
◈
no reward yet — be the first to pledge
Theorem
theorem my_identity {α : Type} (a : α) : a = a :=
Proof — by adam, about 2 hours ago
theorem my_identity {α : Type} (a : α) : a = a := by rfl