---

Step * of Lemma vs-map-image-iff-surject

∀[K:Rng]. ∀[A,B:VectorSpace(K)]. ∀[f:A ⟶ B].  (∀b:Point(B). b ∈ Img(f) ⇐⇒ Surj(Point(A);Point(B);f))
BY
{ Auto }

1
1. [K] : Rng
2. [A] : VectorSpace(K)
3. [B] : VectorSpace(K)
4. [f] : A ⟶ B
5. Surj(Point(A);Point(B);f)
6. b : Point(B)
⊢ b ∈ Img(f)

---

Latex:

---

Latex:
\mforall{}[K:Rng].  \mforall{}[A,B:VectorSpace(K)].  \mforall{}[f:A  {}\mrightarrow{}  B].
    (\mforall{}b:Point(B).  b  \mmember{}  Img(f)  \mLeftarrow{}{}\mRightarrow{}  Surj(Point(A);Point(B);f))


By

---

Latex:
Auto

---

Home Index