lean_workbook_plus_1495
Proved(a^{2011}+b^{2011})(a+b)-ab(a^{2010}+b^{2010})=a^{2012}+b^{2012}$
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_1495 (a b : ℝ) : (a^2011+b^2011)*(a+b)-a*b*(a^2010+b^2010)=a^2012+b^2012 := by sorry
Source