lean_workbook_plus_52564
ProvedProve that for all real .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_52564 (y : ℝ) : 243*y^4 + 108*y^3 - 108*y^2 + 32 ≥ 0 := by sorry
Source
Prove that for all real .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_52564 (y : ℝ) : 243*y^4 + 108*y^3 - 108*y^2 + 32 ≥ 0 := by sorry