lean_workbook_plus_70411
DisprovedProve that\n\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_70411 : ∀ a : ℝ, (1 - 2 * a) ^ 2 * (3 * a ^ 3 - 6 * a ^ 2 - 2 * a + 8) ≥ 0 := by sorry
Source
Prove that\n\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_70411 : ∀ a : ℝ, (1 - 2 * a) ^ 2 * (3 * a ^ 3 - 6 * a ^ 2 - 2 * a + 8) ≥ 0 := by sorry