Theorem: rot_add_vadd (Instructor/Lectures/grad/case_study_symmetries.lean)

State before:
⊢ ∀ (g₁ g₂ : Rotation) (p : State), g₁ + g₂ +ᵥ p = g₁ +ᵥ (g₂ +ᵥ p)
Tactic:
_
State after:
no goals