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

State before:
a b c : Point
⊢ add (add a b) c = add a (add b c)
Tactic:
sorry
State after:
no goals