Complex_Addition_is_Commutative_test1
Provedadditioncommutativitycomplex-analysisproofwiki
Complex addition is commutative.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Complex_Addition_is_Commutative_test1 (z w : ℂ) : z + w = w + z := by sorry
Source