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

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