---

Step * of Lemma test-compute-all

2 * (1 + 2 + 3) ~ 12
BY
{ (RW (AddrC [1] (TagC (mk_tag_term 10))) 0 THEN Auto) }

---

Latex:

---

Latex:
2  *  (1  +  2  +  3)  \msim{}  12


By

---

Latex:
(RW  (AddrC  [1]  (TagC  (mk\_tag\_term  10)))  0  THEN  Auto)

---

Home Index