---

Step * of Lemma imageset_functionality

∀B1,B2,f1,f2:coSet{i:l}.  (seteq(B1;B2) ⇒ seteq(f1;f2) ⇒ seteq(imageset(B1;f1);imageset(B2;f2)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}B1,B2,f1,f2:coSet\{i:l\}.    (seteq(B1;B2)  {}\mRightarrow{}  seteq(f1;f2)  {}\mRightarrow{}  seteq(imageset(B1;f1);imageset(B2;f2)))


By

---

Latex:
Auto

---

Home Index