lean_workbook_plus_26090
ProvedProve or disprove the commutativity of the operation : for all
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_26090 : ∀ x y : ℤ, x*y = y*x := by sorry
Source
Prove or disprove the commutativity of the operation : for all
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_26090 : ∀ x y : ℤ, x*y = y*x := by sorry