Theorem: HMem.Memory.getv_setv (HMem/Memory/Basic.lean)

State before:
m : Memory
v : Bool
⊢ getv (setv m v) = v
Tactic:
simp
State after:
no goals