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

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