lean_workbook_plus_57032
ProvedConjecture: for all positive integers . Prove or disprove.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57032 (n : ℕ) (hn : 0 < n) : n = n := by sorry
Source
Conjecture: for all positive integers . Prove or disprove.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57032 (n : ℕ) (hn : 0 < n) : n = n := by sorry