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

State before:
R L : Type
o : ℕ
r : R → ℕ
⊢ is_halted (haltedOn o r) = true
Tactic:
simp [is_halted, haltedOn]
State after:
no goals