---

Step * of Lemma hdf-halted-halt

hdf-halted(hdf-halt()) ~ tt
BY
{ (RepUR ``hdf-halted hdf-halt`` 0 THEN Auto) }

---

Latex:


hdf-halted(hdf-halt())  \msim{}  tt


By

(RepUR  ``hdf-halted  hdf-halt``  0  THEN  Auto)

---

Home Index