Theorem: Real.binomial_two (CvxLean/Lib/Math/Data/Real.lean)

State before:
x y : ℝ
⊢ (x + y) ^ 2 = x ^ 2 + (2 * (x * y) + y ^ 2)
Tactic:
ring
State after:
no goals