lean_workbook_plus_15268
Provedprove: given
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_15268 (x y z : ℝ) (h : x + y + z = 3) : x ^ 2 + y ^ 2 + z ^ 2 ≥ 3 := by sorry
Source
prove: given
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_15268 (x y z : ℝ) (h : x + y + z = 3) : x ^ 2 + y ^ 2 + z ^ 2 ≥ 3 := by sorry