---

Step * of Lemma left_indices_add_lemma

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

---

Latex:

---

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


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index