Theorem: Cpdt.Chapter2.Instr.denote_iBinop_nil (Cpdt/Chapter2/Lang.lean)

State before:
op b : Binop
arg : Nat
⊢ denote (iBinop op) [] = none
Tactic:
rfl
State after:
no goals