Theorem: Point.add_comm (LeanCourse/Lectures/Lecture8.lean)

State before:
n : ℕ
a b : Point
⊢ add a b = add b a
Tactic:
simp [add, add_comm]
State after:
no goals