---

Step * of Lemma int-decr-map-inDom_wf

∀[Value:Type]. ∀[k:ℤ]. ∀[m:int-decr-map-type(Value)].  (int-decr-map-inDom(k;m) ∈ 𝔹)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[Value:Type].  \mforall{}[k:\mBbbZ{}].  \mforall{}[m:int-decr-map-type(Value)].    (int-decr-map-inDom(k;m)  \mmember{}  \mBbbB{})


By

---

Latex:
ProveWfLemma

---

Home Index