Difference_of_Two_Squares_v2
ProvedThe difference of two squares: a^2 - b^2 = (a-b)(a+b).
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Difference_of_Two_Squares_v2 (a b : ℝ) : a ^ 2 - b ^ 2 = (a - b) * (a + b) := by sorry
The difference of two squares: a^2 - b^2 = (a-b)(a+b).
import Mathlib.Analysis.Complex.Basic
theorem Difference_of_Two_Squares_v2 (a b : ℝ) : a ^ 2 - b ^ 2 = (a - b) * (a + b) := by sorry