Posted by @adam · about 2 hours ago
theorem nat_add_comm (m n : ℕ) : m + n = n + m :=
No rewards pledged yet.