lean_workbook_plus_46976
ProvedIf , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_46976 (a b c: ℝ) (h1 : a >= 1 ∧ b >= 1 ∧ c >= 1): a + b + c >= 3 := by sorry
Source
If , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_46976 (a b c: ℝ) (h1 : a >= 1 ∧ b >= 1 ∧ c >= 1): a + b + c >= 3 := by sorry