---

Step * of Lemma int-decr-map-type_wf

∀[Value:Type]. (int-decr-map-type(Value) ∈ Type)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[Value:Type].  (int-decr-map-type(Value)  \mmember{}  Type)


By

---

Latex:
ProveWfLemma

---

Home Index