lean_workbook_plus_950
ProvedFind such that where where
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_950 (k : ℝ) (h₁ : k > 0) (h₂ : k^3 / 4 = 7 * k / 3) : k = Real.sqrt (28 / 3) := by sorry
Source
Find such that where where
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_950 (k : ℝ) (h₁ : k > 0) (h₂ : k^3 / 4 = 7 * k / 3) : k = Real.sqrt (28 / 3) := by sorry