Theorem: double_eq_two_additions (PowerCalc/Examples/Polynomials.lean)

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