Theorem: LO.SigmaPiDelta.alt_coe (Arithmetization/Vorspiel/Vorspiel.lean)

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