lean_workbook_plus_6005
DisprovedApply Binomial Theorem: , and expand using binomial theorem.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_6005 : 2016 ^ 167 = (2000 + 17) ^ 167 := by sorry
Source
Apply Binomial Theorem: , and expand using binomial theorem.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_6005 : 2016 ^ 167 = (2000 + 17) ^ 167 := by sorry