---

Step * 1 1 of Lemma map_select


1. A : Type
2. B : Type
3. f : A ⟶ B
4. n : ℕ0
⊢ ⊥ = (f ⊥) ∈ B
BY
{ Auto }

---

Latex:

---

Latex:

1.  A  :  Type
2.  B  :  Type
3.  f  :  A  {}\mrightarrow{}  B
4.  n  :  \mBbbN{}0
\mvdash{}  \mbot{}  =  (f  \mbot{})


By

---

Latex:
Auto

---

Home Index