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

State before:
⊢ ∀ (a : Rotation), -a + a = 0
Tactic:
_
State after:
no goals