---

Step * of Lemma map_map

∀[f,g,a:Top].  (map(g;map(f;a)) ~ map(g o f;a))
BY
{ ListIndSq `a' }

---

Latex:

---

Latex:
\mforall{}[f,g,a:Top].    (map(g;map(f;a))  \msim{}  map(g  o  f;a))


By

---

Latex:
ListIndSq  `a'

---

Home Index