fixture_add_comm
Closed
Theorem & proof
·
fixture_add_comm.lean
·
✓ verified
1
2
3
import Mathlib theorem fixture_add_comm (a b : ℕ) : a + b = b + a := by omega
Rewards pledged
No rewards pledged yet.