lean_workbook_plus_50227
ProvedFind the answer to .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_50227 (x : ℕ) : (41^2 - 40^2) = 81 := by sorry
Source
Find the answer to .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_50227 (x : ℕ) : (41^2 - 40^2) = 81 := by sorry