Theorem: reverse_mkSymm (Talk/02Equality.lean)

State before:
α : Type u_1
xs : List α
⊢ List.reverse (mkSymm xs) = mkSymm xs
Tactic:
simp [mkSymm]
State after:
no goals