Theorem: LoVe.List_duplicates_example (LoVe/Lectures/LoVe13_BasicMathematicalStructures_Demo.lean)

State before:
⊢ [2, 3, 3, 4] ≠ [2, 3, 4]
Tactic:
decide
State after:
no goals