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

State before:
m : Memory
b : Bool
ma : Memory
⊢ getv (setm m b ma) = getv m
Tactic:
cases b <;> simp
State after:
no goals