lean_workbook_plus_46334
ProvedEquation: $k=k$ for all $k$
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_46334 (k : ℕ) : k = k := by sorry
Source
Equation: $k=k$ for all $k$
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_46334 (k : ℕ) : k = k := by sorry