---

Step * of Lemma right_indices_add_lemma

∀H,G:Top.  (right-indices(G ⊕ H) ~ right-indices(G) + right-indices(H))
BY
{ (Auto THEN Computation) }

---

Latex:

---

Latex:
\mforall{}H,G:Top.    (right-indices(G  \moplus{}  H)  \msim{}  right-indices(G)  +  right-indices(H))


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index