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

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