lean_workbook_plus_13104
Provedthat is equivalent to \n\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13104 : ∀ a b c : ℝ, 3 * a ^ 2 + 3 * b ^ 2 + 3 * c ^ 2 + 9 ≥ 6 * (a + b + c) := by sorry
Source
that is equivalent to \n\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13104 : ∀ a b c : ℝ, 3 * a ^ 2 + 3 * b ^ 2 + 3 * c ^ 2 + 9 ≥ 6 * (a + b + c) := by sorry