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

State before:
n : Nat
s : Stack
⊢ denote (iConst n) s = some (n :: s)
Tactic:
rfl
State after:
no goals