Natural_Numbers_form_Commutative_Semiring
Provednatural-numbersproofwikisemirings
The semiring of natural numbers forms a commutative semiring.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Natural_Numbers_form_Commutative_Semiring (a b : ℕ) : a * b = b * a := by sorry
Source