Prove the difference-of-squares identity over integers.
4 lines · Lean 4
Objectifs
- Prove the difference-of-squares identity over integers.
Indices
Voir la solution
import Mathlib example (x y : ℤ) : (x + y) * (x - y) = x^2 - y^2 := by ring
Prove the difference-of-squares identity over integers.
import Mathlib example (x y : ℤ) : (x + y) * (x - y) = x^2 - y^2 := by ring