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

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