Theorem: RegMachine.Config.io_reg_haltedOn (RegMachine/Basic.lean)

State before:
R L : Type
o : ℕ
r : R → ℕ
⊢ regs (haltedOn o r) WithIO.io = o
Tactic:
simp [Config.haltedOn]
State after:
no goals