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

State before:
⊢ ∀ (p : State), 0 +ᵥ p = p
Tactic:
_
State after:
no goals