lean_workbook_plus_66477
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_66477 : ∀ x y : ℤ, x * y ^ 2 - y ^ 2 + x * y - y = x ^ 2 * y - x ^ 2 + x * y - x := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_66477 : ∀ x y : ℤ, x * y ^ 2 - y ^ 2 + x * y - y = x ^ 2 * y - x ^ 2 + x * y - x := by sorry