---

Step * of Lemma map-map

∀[as,f,g:Top].  (map(g;map(f;as)) ~ map(g o f;as))
BY
{ Auto }

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index