---

Step * of Lemma int-palindrome-test-sq

∀[L:ℤ List]. (int-palindrome-test(L) ~ palindrome-test(IntDeq;L))
BY
{ ((UnivCD THENA Auto) THEN SymbComp 0 THEN SqEqCD) }

---

Latex:

---

Latex:
\mforall{}[L:\mBbbZ{}  List].  (int-palindrome-test(L)  \msim{}  palindrome-test(IntDeq;L))


By

---

Latex:
((UnivCD  THENA  Auto)  THEN  SymbComp  0  THEN  SqEqCD)

---

Home Index