lean_workbook_plus_10462
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_10462 (x y : ℝ) : y = x^2 / 4 + 3 * x / 2 ↔ y = x^2 / 4 + 3 * x / 2 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_10462 (x y : ℝ) : y = x^2 / 4 + 3 * x / 2 ↔ y = x^2 / 4 + 3 * x / 2 := by sorry