Theorem: Cpdt.Chapter2.TExp.denote_bConst (Cpdt/Chapter2/Typed.lean)

State before:
b : Bool
⊢ denote (bConst b) = b
Tactic:
rfl
State after:
no goals