---

Step * of Lemma binary_map_wf

∀[T,Key:Type].  (binary_map(T;Key) ∈ Type)
BY
{ ProveWfLemma }

---

Latex:


\mforall{}[T,Key:Type].    (binary\_map(T;Key)  \mmember{}  Type)


By

ProveWfLemma

---

Home Index