lean_workbook_plus_43532
ProvedProve that for all
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43532 : ∀ n : ℤ, 8 * n ^ 2 + 16 * n + 9 > 0 := by sorry
Source
Prove that for all
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_43532 : ∀ n : ℤ, 8 * n ^ 2 + 16 * n + 9 > 0 := by sorry