lean_workbook_plus_56138
DisprovedCross-multiplying,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_56138 : ∀ h : ℝ, h * (2 * h + 5) = (h + 1) * (h + 4) := by sorry
Source
Cross-multiplying,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_56138 : ∀ h : ℝ, h * (2 * h + 5) = (h + 1) * (h + 4) := by sorry