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

State before:
⊢ {2, 3, 4} = {4, 3, 2}
Tactic:
decide
State after:
no goals