lean_workbook_plus_47094
ProvedProve the identity property of addition:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_47094 (a : ℝ) : a + 0 = a := by sorry
Source
Prove the identity property of addition:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_47094 (a : ℝ) : a + 0 = a := by sorry