---

Step * of Lemma atom-valueall-type

valueall-type(Atom)
BY
{ ValueTypeAuto }

1
1. x : Base
2. x ∈ Atom
3. v : Atom@i
⊢ (v)↓

---

Latex:

---

Latex:
valueall-type(Atom)


By

---

Latex:
ValueTypeAuto

---

Home Index