---

Step * of Lemma int-decr-map-empty_wf

∀[Value:Type]. (int-decr-map-empty() ∈ int-decr-map-type(Value))
BY
{ (ProveWfLemma THEN MemTypeCD THEN Try (RW ListC 0) THEN Auto) }

---

Latex:


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


By

(ProveWfLemma  THEN  MemTypeCD  THEN  Try  (RW  ListC  0)  THEN  Auto)

---

Home Index