simp [H]
α σ : Type
ε : σ → Type
δ : Dialect α σ ε
env env' : SSAEnv δ
name : SSAVal
H : ∀ (τ : MLIRType δ), get name τ env = get name τ env'
⊢ ∀ (τ : MLIRType δ), get name τ env' = get name τ env
no goals