---

Step * of Lemma lookup-list-map-type-prop

∀[Key,Value:Type].
  (valueall-type(lookup-list-map-type(Key;Value))) supposing (valueall-type(Value) and valueall-type(Key))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[Key,Value:Type].
    (valueall-type(lookup-list-map-type(Key;Value)))  supposing 
          (valueall-type(Value)  and 
          valueall-type(Key))


By

---

Latex:
Auto

---

Home Index