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

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