lean_workbook_plus_25571
ProvedLet và , Prove
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_25571 (a b : ℝ) (h₁ : 0 < b ∧ b ≤ a ∧ a ≤ 4 ∧ a + b ≤ 7) : a^2 + b^2 ≤ 25 := by sorry
Source
Let và , Prove
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_25571 (a b : ℝ) (h₁ : 0 < b ∧ b ≤ a ∧ a ≤ 4 ∧ a + b ≤ 7) : a^2 + b^2 ≤ 25 := by sorry