Theorem: binomial_formula' (PowerCalc/Examples/Polynomials.lean)

State before:
R : Type u_1
inst✝ : CommRing R
x y : R
⊢ (x + y) ^ 2 = x ^ 2 + 2 * x * y + y ^ 2
Tactic:
ring
State after:
no goals