Theorem: Point.add_x (LeanCourse/Lectures/Lecture8Before.lean)

State before:
n : ℕ
a b : Point
⊢ (a + b).x = a.x + b.x
Tactic:
rfl
State after:
no goals