Theorem: LO.Polarity.alt_alt (Logic/Logic/LogicSymbol.lean)

State before:
Γ : Polarity
⊢ Γ.alt.alt = Γ
Tactic:
rcases Γ <;> simp
State after:
no goals