Identity
Closed
$0.01 USDC pledged
· 1 pledge
Theorem & proof
·
identity_mob.lean
·
✓ verified
1
2
3
import Mathlib theorem identity_mob {α : Type} (a : α) : a = a := by rfl
Rewards pledged
· 1 pledge
· $0.01 USDC total