Theorem: MLIR.AST.AttrDict.find_none (MLIR/AST.lean)

State before:
α σ : Type
ε : σ → Type
n' : String
δ : Dialect α σ ε
⊢ find (mk []) n' = none
Tactic:
simp [AttrDict.find, List.find?]
State after:
no goals