lean_workbook_plus_82819
Disprovedproofwiki
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_82819 : ∀ a b : ℤ, a + b + 1 ∣ (a + b) * (a + b + 1) - (4 * a * b - 1) := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_82819 : ∀ a b : ℤ, a + b + 1 ∣ (a + b) * (a + b + 1) - (4 * a * b - 1) := by sorry