---

Step * of Lemma decidable__i-closed

∀I:Interval. Dec(i-closed(I))
BY
{ ((D 0 THENA Auto)
   THEN D -1
   THEN RepUR ``i-closed`` 0
   THEN ProveDecidable1
   THEN D 1
   THEN D 2
   THEN Reduce 0
   THEN Auto) }

---

Latex:

---

Latex:
\mforall{}I:Interval.  Dec(i-closed(I))


By

---

Latex:
((D  0  THENA  Auto)
  THEN  D  -1
  THEN  RepUR  ``i-closed``  0
  THEN  ProveDecidable1
  THEN  D  1
  THEN  D  2
  THEN  Reduce  0
  THEN  Auto)

---

Home Index