lean_workbook_plus_25748
ProvedSimilarly,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_25748 (b c : ℝ) : b ^ 2 + 4 * c ^ 2 - 4 * b * c ≥ 0 := by sorry
Source
Similarly,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_25748 (b c : ℝ) : b ^ 2 + 4 * c ^ 2 - 4 * b * c ≥ 0 := by sorry