Adding zero on the right
Closed
Theorem & proof
·
nat_add_zero.lean
·
✓ verified
1
2
3
import Mathlib theorem nat_add_zero (n : Nat) : n + 0 = n := rfl
Rewards pledged
No rewards pledged yet.