lean_workbook_plus_19332
ProvedProve for .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_19332 (n : ℕ) (hn : 3 ≤ n) : (n - 1) ^ 2 > 2 := by sorry
Source
Prove for .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_19332 (n : ℕ) (hn : 3 ≤ n) : (n - 1) ^ 2 > 2 := by sorry