Theorem: cmp_symm (Katydid/Expr/Desc.lean)

State before:
⊢ ∀ (x y : SmartDesc), Ordering.swap (SmartDesc.compare x y) = SmartDesc.compare y x
Tactic:
sorry
State after:
no goals