Theorem: Ordering.opp_opp (GMLInit/Data/Basic.lean)

State before:
x : Ordering
⊢ x.opp.opp = x
Tactic:
cases x <;> rfl
State after:
no goals