Theorem: C06S01.Point.add_assoc (LeanCourse/MIL/C06_Structures/solutions/Solutions_S01_Structures.lean)

State before:
a b c : Point
⊢ add (add a b) c = add a (add b c)
Tactic:
simp [add, add_assoc]
State after:
no goals