lean_workbook_plus_79680

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Isn't $2(7x - 2y + xy + 3x + 5xy - 2) = \boxed{12xy + 20x - 4y -4}$ ?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_79680 (x y : ℤ) : 2 * (7 * x - 2 * y + x * y + 3 * x + 5 * x * y - 2) = 12 * x * y + 20 * x - 4 * y - 4   :=  by sorry

Source