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